3931 search results - page 131 / 787 » Separation logic and abstraction |
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
IANDC
2000
14 years 9 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
JSYML
2011
14 years 5 months ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
IJCIS
2006
14 years 10 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...