4617 search results - page 545 / 924 » Automation of Diagrammatic Reasoning |
199
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
221
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
165
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
228
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
201
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...