|
3
|
ΩMEGA: Computer supported mathematics
– Jörg Siekmann, Christoph Benzmüller
- 2004
|
|
4
|
Using Tactics to Reformulate Formulae for Resolution Theorem Proving
– Manfred Kerber, Axel Präcklein
- 1996
|
|
3
|
Towards Concurrent Resource Managed Deduction
– Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge
- 1999
|
|
18
|
Agent-Oriented Integration of Distributed Mathematical Services
– Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge
- 1999
|
|
18
|
Correct and User-Friendly Implementations of Transformation Systems
– Kolyang, T. Santen, B. Wolff
- 1996
|
|
1
|
Planning Equivalence Proofs
– Lassaad Cheikhrouhou, Volker Sorge, Fachbereich Informatik
- 1998
|
|
78
|
Automating the Meta Theory of Deductive Systems
– Carsten Schurmann, Dana Scott
- 2000
|
|
|
Ω-MKRP: A Proof Development Environment
– Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
- 1994
|
|
15
|
Planning Mathematical Proofs with Methods
– Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
- 1994
|
|
|
Proof Development with Ωmega: √ 2 Is Irrational
– J. Siekmann, C. Benzmüller, A. Fiedler, A. Meier, M. Pollet
|
|
4
|
System description: LEO – a resolution based higher-order theorem prover
– Christoph Benzmüller
- 2005
|
|
5
|
A Structured Set of Higher-Order Problems
– Christoph E. Benzmüller, Chad E. Brown
- 2005
|
|
2
|
Proof-search in type-theoretic languages: an introduction
– Didier Galmiche, David J. Pym
- 2000
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
2
|
The Mechanization of the Diagonalization Proof Strategy
– Lassaad Cheikhrouhou
- 1996
|
|
9
|
A Practical Methodology for the Formal Verification of RISC Processors
– Sofiène Tahar, Ramayya Kumar
- 1995
|
|
3
|
Adapting the Diagonalization Method by Reformulations
– Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik
- 1995
|
|
4
|
Adaptation of Declaratively Represented Methods in Proof Planning
– Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
- 1995
|
|
14
|
Critical Agents Supporting Interactive Theorem Proving
– Christoph Benzmuller, Volker Sorge
- 1999
|
