Searching for authors named "Andreas Wolf" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Optimization and Translation of Tableau-Proofs into Resolution
- ….) Optimization and Translation of Tableau-Proofs into Resolution By Andreas Wolf, Berlin Abstract: Different…
- Cited by 1 (0 self) – Add To MetaCart
-
A Translation of Model Elimination Proofs into a Structured Natural Deduction
- …A TRANSLATION OF MODEL ELIMINATION PROOFS INTO A STRUCTURED NATURAL DEDUCTION Andreas Wolf…
- Cited by 2 (2 self) – Add To MetaCart
-
A Calculus Supporting Structured Proofs
- … calculus supporting structured proofs By Bernd I. Dahn and Andreas Wolf Abstract: Proofs in standard…
- Add To MetaCart
-
On Excusable and Inexcusable Failures - Towards an Adequate Notion of Translation Correctness
- … Muller-Olm and Andreas Wolf # 1 Fachbereich Informatik, LS V, Universitat Dortmund, 44221 Dortmund…
- Cited by 3 (1 self) – Add To MetaCart
-
A Calculus Supporting Structured Proofs
- … calculus supporting structured proofs By Bernd I. Dahn and Andreas Wolf Abstract: Proofs in standard…
- Cited by 8 (2 self) – Add To MetaCart
-
P-SETHEO: Strategy Parallel Automated Theorem Proving
- …P-SETHEO: Strategy Parallel Automated Theorem Proving Reinhold Letz, Gernot Stenz, Andreas Wolf…
- Cited by 10 (1 self) – Add To MetaCart
-
ININ IN
- … The CLEOIII Data Acquisition System Andreas H. Wolf 8. April 1997 ffl Global Design Philosophy…
- Add To MetaCart
-
Natural Language Presentation And Combination Of Automatically Generated Proofs
- …@(email omitted); AND ANDREAS WOLF Department of Computer Science Munich University of Technology D-80290 Munchen Germany email…
- Cited by 14 (0 self) – Add To MetaCart
-
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data (incl. Documentation)
- …Work for the Evaluation and Maintenance of Automated Theorem Prover Data (incl. Documentation) Peter Jakobi, Andreas Wolf…
- Add To MetaCart
-
An Algorithm for Load Distribution in Interactive Theorem Proving
- …@(email omitted); Andreas Wolf Computer Science Department Munich University of Technology Arcisstr. 21 D-80290 Munchen…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
