155
Voted
LICS
15 years 10 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...
157
Voted
LICS
15 years 10 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...
146
Voted
LICS
15 years 10 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 ...
156
click to vote
LICS
15 years 10 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 ...
126
click to vote
LICS
15 years 10 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