|
2
|
A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
– William M. Farmer
- 1994
|
|
32
|
Theory Interpretation in Simple Type Theory
– William M. Farmer
- 1993
|
|
1
|
Comparison of IMPS, PVS and Larch with respect to theory treatment and modularization
– F. Kammüller
- 1996
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
8
|
Two computer-supported proofs in metric space topology
– William M. Farmer, F. Javier Thayer
- 1991
|
|
|
A Meta-theory for Structured Presentations in the COC
– Sherri Shulman
- 1997
|
|
13
|
An Infrastructure for Intertheory Reasoning
– William M. Farmer
- 2000
|
|
7
|
A new semantics for Clear
– D. T. Sannella
|
|
10
|
An Overview of A Formal Framework For Managing Mathematics
– William M. Farmer, Martin V. Mohrenschildt
- 2003
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
134
|
Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)
– Donald Sannella, Andrzej Tariecki
|
|
202
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
|
Open Mechanized Reasoning Systems
– John McCarthy, Fausto Giunchiglia, Carolyn Talcott
- 1992
|
|
11
|
STMM: A Set Theory for Mechanized Mathematics
– William M. Farmer
- 2000
|
|
68
|
Writing Larch Interface Language Specifications
– Jeannette M. Wing
- 1987
|
|
11
|
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
– Bernd Krieg-Brückner, Donald Sannella
|
|
7
|
Abstract specification theory: an overview
– Andrzej Tarlecki
- 2003
|
