An overview of the Tecton proof system
type: Item
instance of: scholarly article
title: An overview of the Tecton proof system
zbMATH Open document ID: 0938.68823
DOI: 10.1016/0304-3975(94)90192-9
author: V. Pereyra
published in: Theoretical Computer Science
publication date: 2000-06-15T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 708695
describes a project that uses: Nuprl
describes a project that uses: Cambridge LCF
describes a project that uses: LEGO
describes a project that uses: LARCH
describes a project that uses: PVS
describes a project that uses: NQTHM
describes a project that uses: AFFIRM
describes a project that uses: RRL
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90192-9
OpenAlex ID: W2060173806
cites work: Q4747542
cites work: Q4040283
cites work: Q3835049
cites work: Termination of rewriting
cites work: Q3880315
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Report on the Larch shared language
cites work: Q4282672
cites work: An axiomatic basis for computer programming
cites work: Q3993347
cites work: Simplification by Cooperating Decision Procedures
cites work: A higher-order implementation of rewriting
cites work: A Practical Decision Procedure for Arithmetic with Function Symbols
cites work: Q3805961
description: scientific article; zbMATH DE number 708695