Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Brigitte Pientka
7 results
Connection-Driven Inductive Theorem Proving
| cite »
by Christoph Kreitz, Brigitte Pientka
2001
Matrix-Based Constructive Theorem Proving
| cite »
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
2000
Matrix-Based Inductive Theorem Proving
| cite »
by Christoph Kreitz, Brigitte Pientka
2000
Automating Inductive Specification Proofs
| cite »
by Brigitte Pientka, Christoph Kreitz
1999
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
| cite »
by Brigitte Pientka, Christoph Kreitz
1998
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
by Brigitte Pientka
May 05, 1998
A Uniform Rippling Approach for Instantiating Free Variables
by Brigitte Pientka
December 02, 1997