Searching for "Minimal Logic Programs." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
