912 search results - page 1 / 183 » Abstract Saturation-Based Inference |
61
Voted
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
CADE
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
101
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Jer