1941 search results - page 96 / 389 » Reasoning about Computations Using Two-Levels of Logic |
119
click to vote
ENTCS
2008
15 years 3 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
111
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
125
click to vote
AIML
2006
15 years 4 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
120
click to vote
TIME
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
134
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...