163 search results - page 19 / 33 » Higher-Order Logic and Theorem Proving for Structured Specif... |
137
Voted
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
125
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
144
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
139
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
158
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...