TLCA
2005
Springer
13 years 11 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
ADC
2005
Springer
13 years 11 months ago
2005
Springer
We study the design issues of data-centric XML documents where (1) there are no mixed contents, i.e., each element may have some subelements and attributes, or it may have a singl...
ADC
2005
Springer
13 years 11 months ago
2005
Springer
With the advent of XML and its use as a database language, dependency and normal form theory has attracted novel research interest. Several approaches to build up a dependency and...
KI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
IAT
2008
IEEE
13 years 12 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
PODS
2006
ACM
14 years 5 months ago
2006
ACM
A recently introduced information-theoretic approach to analyzing redundancies in database design was used to justify normal forms like BCNF that completely eliminate redundancies...
PODS
2002
ACM
14 years 5 months ago
2002
ACM
