1941 search results - page 105 / 389 » Reasoning about Computations Using Two-Levels of Logic |
107
click to vote
ICES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
125
click to vote
EMISA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
137
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
131
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
142
click to vote
AGP
1994
IEEE
15 years 7 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...