15 search results - page 1 / 3 » frocos 2007 |
99
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
124
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
156
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
115
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
141
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...