An overview of the Tecton proof system
- 24 October 1994
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 133 (2) , 307-339
- https://doi.org/10.1016/0304-3975(94)90192-9
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A mechanizable induction principle for equational specificationsPublished by Springer Nature ,2005
- KMS: a distributed hypermedia system for managing knowledge in organizationsCommunications of the ACM, 1988
- Hypertext: An Introduction and SurveyComputer, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- Report on the larch shared languageScience of Computer Programming, 1986
- A higher-order implementation of rewritingScience of Computer Programming, 1983
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- A Practical Decision Procedure for Arithmetic with Function SymbolsJournal of the ACM, 1979
- An axiomatic basis for computer programmingCommunications of the ACM, 1969