Q3750118
type: Item
instance of: scholarly article
zbMATH Open document ID: 0609.68030
author: A. J. J. Dick
author: R. J. Cunningham
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68-04
zbMATH DE Number: 3986636
MaRDI profile type: Publication
Recommended article: Narrowing based procedures for equational disunification
Recommended article: An application of automated equational reasoning to many-valued logic
Recommended article: Automated Reasoning with Analytic Tableaux and Related Methods
Recommended article: Q3490946
Recommended article: Q4281615
Recommended article: Q4303118
Recommended article: Equational reasoning in Isabelle
Recommended article: Types for Proofs and Programs
Recommended article: Q4737457
description: scientific article