Q4348468
type: Item
instance of: scholarly article
zbMATH Open document ID: 0869.00051
publication date: 1997-08-17T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1049165
zbMATH Keywords: Marktoberdorf (Germany)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Logic of Computation
describes a project that uses: Coq
describes a project that uses: Nuprl
MaRDI profile type: Publication
Recommended article: Computational Logic
Recommended article: Q4002242
Recommended article: Q4328062
Recommended article: Logic and Algebra of Specification
Recommended article: Q3197780
Recommended article: Logic and Computation
Recommended article: Q3997483
Recommended article: Q4002277
Recommended article: Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II
description: scientific article; zbMATH DE number 1049165