381 search results - page 10 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
112
click to vote
ADBIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
102
Voted
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
traction with Interpolants K. L. McMillan Cadence Berkeley Labs Abstract. We describe a model checker for infinite-state sequential proased on Craig interpolation and the lazy abst...
104
click to vote
CSL
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
105
Voted
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...