Searching for "Automating Inductive Specification Proofs." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
IOS Press Automating inductive Specification Proofs ∗
- … Pientka, Christoph Kreitz / Automating inductive Specification Proofs in NuPRL 1. Introduction…
- Add To MetaCart
-
Automating inductive Specification Proofs in NuPRL
- …Fundamenta Informaticae 34 (1998) 1--20 1 IOS Press Automating inductive Specification Proofs…
- Add To MetaCart
-
Connection-driven inductive theorem proving
- … for automating inductive specification proofs. The selection of connections in an inductive matrix proof…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 3.
