552 search results - page 48 / 111 » Languages Modulo Normalization |
117
Voted
CP
2005
Springer
15 years 7 months ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
146
click to vote
ASWC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
109
click to vote
CLIMA
2007
15 years 3 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
118
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
110
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...