2272 search results - page 127 / 455 » A Calculus for |
159
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
142
Voted
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
182
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
181
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We survey expressivity results for navigational frag