247 search results - page 6 / 50 » A Computational Structure for the Propositional Calculus |
142
Voted
AIML
2004
15 years 5 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
128
Voted
COMBINATORICS
2004
15 years 3 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
136
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
131
Voted
ENTCS
2008
15 years 3 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
108
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer