Searching for "The Theoretical Foundations of LPTP (A Logic Program Theorem Prover)." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
The theoretical foundations of LPTP (a logic program theorem prover)
- …The theoretical foundations of LPTP (a logic program theorem prover) Robert F. Stärk ∗ Institute…
- Cited by 14 (2 self) – Add To MetaCart
-
Formal Verification of Logic Programs: Foundations and Implementation
- ….staerk@(email omitted);〉 Abstract. We present the theoretical foundations of LPTP, a logic program theorem prover implemented…
- Cited by 4 (0 self) – Add To MetaCart
-
Fourth International Workshop on Termination WST '99
- … foundations of LPTP (a logic program theorem prover). Journal of Logic Programming, 36(3):241--269, 1998. 8…
- Add To MetaCart
Showing 1 through 3.
