1269 search results - page 128 / 254 » Pi-Calculus in Logical Form |
129
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
121
Voted
JOLLI
2010
14 years 11 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
77
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
109
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
CADE
2006
Springer
16 years 1 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...