|
530
|
A framework for defining logics
– Harper, Honsell, et al.
- 1993
|
|
217
|
Principal type schemes for functional programs
– Damas, Milner
- 1982
|
|
151
|
General logics
– Meseguer
- 1989
|
|
150
|
Toward formal development of programs from algebraic specifications: Implementations revisited
– Sannella, Tarlecki
- 1988
|
|
92
|
A.: Specifications in an Arbitrary Institution
– Sannella
- 1988
|
|
64
|
Guiding inductive proofs
– Hutter
- 1990
|
|
44
|
Logical support for modularization
– Diaconescu, Goguen, et al.
- 1993
|
|
38
|
INKA - The Next Generation
– Hutter, Sengler
|
|
32
|
The Karlsruhe Induction Theorem Proving System
– Biundo, Hummel, et al.
- 1986
|
|
26
|
System description: Inka 5.0 - a logic voyager
– Autexier, Hutter, et al.
- 1999
|
|
25
|
Colouring terms to control equational reasoning
– Hutter
- 1997
|
|
22
|
Static semantic analysis and theorem proving for Casl
– Mossakowski, Kolyang, et al.
- 1998
|
|
15
|
A Generic Theorem Prover
– Isabelle
- 1994
|
|
9
|
Proof systems for structured speci with observability operators. Theoretical Computer Science
– Hennicker, Wirsing, et al.
- 1997
|
|
7
|
Kohlhase: Managing Structural Information by Higher-Order Colored Unification
– Hutter, M
- 1999
|
|
7
|
Structured presentations and logic representations
– Harper, Sannella, et al.
- 1994
|
|
6
|
et al.\Omega mega: Towards a mathematical assistant
– Benzmuller
- 1997
|
|
5
|
et al.: Veri Support Environment (VSE
– Hutter
- 1996
|
|
3
|
Proof systems for structured algebraic speci cations: An overview
– Hennicker, Wirsing
- 1997
|
|
2
|
et al.: Verification Support Environment (VSE
– Hutter
- 1996
|
|
2
|
Benzmuller et al.:\Omega MEGA: Towards a mathematical assistant
– unknown authors
- 1997
|
|
1
|
et al.: A Distributed Graphical User Interface for the Interactive Proof System\Omega MEGA
– Siekmann
- 1998
|
|
