Searching for authors named Joachim Posegga – sorted by Relevance.
-
Compiling Proof Search in Semantic Tableaux
- Compiling Proof Search in Semantic Tableaux Joachim Posegga Universit at Karlsruhe Institut f
- Cited by 4 (3 self) – Add To MetaCart
-
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract)
- & Joachim Posegga Universitat Karlsruhe Institut fur Logik, Komplexitat und Deduktionssysteme 76128
- Add To MetaCart
-
The leanTAP-FAQ: Frequently Asked Questions about leanTAP
- The leanT A P-FAQ: Frequently Asked Questions about leanT A P Bernhard Beckert & Joachim Posegga
- Add To MetaCart
-
A First-Order Calculus Based on Propositional BDDs
- A First-Order Calculus Based on Propositional BDDs Joachim Posegga Klaus Schneider Universitat
- Add To MetaCart
-
BDDs and Automated Deduction
- BDDs and Automated Deduction ? Jean Goubault 1 and Joachim Posegga 2 1 Bull Corporate Research
- Cited by 5 (0 self) – Add To MetaCart
-
leanEA: A Lean Evolving Algebra Compiler
- leanEA: A Lean Evolving Algebra Compiler Bernhard Beckert Joachim Posegga Universitat Karlsruhe
- Cited by 6 (0 self) – Add To MetaCart
-
Lean Theorem Proving: Maximal Efficiency from Minimal Means
- Lean Theorem Proving: Maximal Efficiency from Minimal Means Bernhard Beckert & Joachim Posegga
- Cited by 1 (1 self) – Add To MetaCart
-
Byte Code Verification for Java Smart Cards Based on Model Checking
- Byte Code Veri cation for Java Smart Cards Based on Model Checking ? Joachim Posegga and Harald
- Cited by 15 (1 self) – Add To MetaCart
-
leanTAP: Lean Tableau-based Deduction
- leanT A P : Lean Tableau-based Deduction ? Bernhard Beckert & Joachim Posegga Universitat
- Cited by 69 (13 self) – Add To MetaCart
-
Smartcard Firewalls Revisited
- Smartcard Firewalls Revisited Henrich C. Pöhls Joachim Posegga Universität Hamburg, FB Informatik
- Add To MetaCart

