1814 search results - page 38 / 363 » Extended First-Order Logic |
CADE
2008
Springer
15 years 10 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
TIME
2003
IEEE
15 years 3 months ago
2003
IEEE
CADE
2004
Springer
15 years 10 months ago
2004
Springer
FUZZY
2004
Springer
15 years 3 months ago
2004
Springer
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...