365 search results - page 21 / 73 » First-order logical filtering |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
CI
2005
14 years 11 months ago
2005
69
Voted
CJ
2000
14 years 11 months ago
2000
CIE
2008
Springer
14 years 12 months ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
101
click to vote
ENTCS
2006
14 years 11 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...