6608 search results - page 108 / 1322 » On the Completeness of Model Checking |
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
145
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
142
click to vote
IDEAS
2002
IEEE
15 years 9 months ago
2002
IEEE
A system has been developed permitting database queries over data extracted from a CAD system where the query result is returned back to the CAD for visualization and analysis. Th...
122
click to vote
ALGORITHMS
2010
15 years 1 months ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...
135
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...