112
click to vote
LICS
15 years 6 months ago
2007 IEEE 
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
116
click to vote
LICS
15 years 6 months ago
2007 IEEE 
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
106
click to vote
LICS
15 years 6 months ago
2007 IEEE 
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
120
click to vote
LICS
15 years 6 months ago
2007 IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
LICS
15 years 6 months ago
2007 IEEE 
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
|
Automated Reasoning