Searching for "Minimal Logic Programs." – sorted by Relevance.
-
Minimal logic programs (extended report)
- Minimal logic programs (extended report) Pedro Cabalar 1 , David Pearce 2 and Agustín Valverde 3
- Add To MetaCart
-
Completeness, Minimal Logic and Programs Extraction
- Completeness, minimal logic and programs extraction Christophe Raalli LAMA - quipe de Logique
- Add To MetaCart
-
A.: Minimal logic programs (extended report) (2007) Technical report available at http
- Minimal logic programs (extended report) Pedro Cabalar 1 , David Pearce 2 and Agustín Valverde 3
- Cited by 2 (2 self) – Add To MetaCart
-
Running Programs Backwards: the Logical Inversion of Imperative
- of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic
- Cited by 8 (0 self) – Add To MetaCart
-
Uniform proofs as a foundation for logic programming
- of either intuitionistic or minimal logic. The programming language significance of the various
- Cited by 299 (76 self) – Add To MetaCart
-
Yet another proof of the strong equivalence between propositional theories and logic programs
- logic programs. Recently, Cabalar et al. [18] proposed two notions of minimal logic programs. It would
- Cited by 2 (1 self) – Add To MetaCart

