1814 search results - page 22 / 363 » Extended First-Order Logic |
CI
2005
15 years 19 days ago
2005
75
Voted
CJ
2000
15 years 17 days ago
2000
CIE
2008
Springer
15 years 25 days 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...
111
Voted
ENTCS
2006
15 years 23 days 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...
146
click to vote
FUIN
2007
15 years 21 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...