Searching for authors named "Brigitte Pientka" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Summary
- …Tabled higher-order logic programming Brigitte Pientka School of Computer Science Carnegie Mellon…
- Add To MetaCart
-
Proof pearl: The power of higher-order encodings in the logical framework LF
- …Proof Pearl: The power of higher-order encodings in the logical framework LF Brigitte Pientka…
- Cited by 1 (0 self) – Add To MetaCart
-
Eliminating redundancy in higher-order unification: a lightweight approach
- …Eliminating redundancy in higher-order unification: a lightweight approach Brigitte Pientka School…
- Cited by 1 (1 self) – Add To MetaCart
-
Termination and Reduction Checking for Higher-Order Logic Programs
- …Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department…
- Cited by 11 (1 self) – Add To MetaCart
-
Tabled Higher-Order Logic Programming
- …Tabled higher-order logic programming Brigitte Pientka Carnegie Mellon University Abstract. Elf…
- Cited by 18 (6 self) – Add To MetaCart
-
Higher-Order Substitution Tree Indexing
- …Higher-order substitution tree indexing Brigitte Pientka* Department of Computer Science Carnegie…
- Cited by 15 (5 self) – Add To MetaCart
-
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
- … Heilala and Brigitte Pientka School of Computer Science, McGill University, Montreal, Canada {sheila1…
- Add To MetaCart
-
Automating inductive Specification Proofs in NuPRL
- … in NuPRL Brigitte Pientka Department of Computer Science Carnegie Mellon University Pittsburgh, PA…
- Add To MetaCart
-
Matrix-based Inductive Theorem Proving
- …Matrix-based Inductive Theorem Proving Christoph Kreitz 1 & Brigitte Pientka 2 1 Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Connection-Driven Inductive Theorem Proving
- … of Computer Science, Cornell-University, Ithaca, NY 14853-7501, USA Brigitte Pientka (bp…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
