Searching for authors named Joachim Posegga – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
