Little Theories (1992)

Cached

Download Links

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
Citations:48 - 15 self

Active Bibliography

2 A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems – William M. Farmer - 1994
35 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
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
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
8 Two computer-supported proofs in metric space topology – William M. Farmer, F. Javier Thayer - 1991
14 An Infrastructure for Intertheory Reasoning – William M. Farmer - 2000
7 A new semantics for Clear – D. T. Sannella
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
12 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
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
12 STMM: A Set Theory for Mechanized Mathematics – William M. Farmer - 2000
72 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
Structured Formal Development with Quotient Types in Isabelle/HOL – Maksym Bortin, Christoph Lüth, Deutsches Forschungszentrum, Künstliche Intelligenz
A Meta-theory for Structured Presentations in the COC – Sherri Shulman - 1997