scientific article
From MaRDI portal
Publication:3347863
zbMath0559.03019MaRDI QIDQ3347863
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Proof by consistency in conditional equational theories ⋮ Partial evaluation and \(\omega\)-completeness of algebraic specifications ⋮ On solving the equality problem in theories defined by Horn clauses ⋮ Proof by consistency ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness ⋮ Automatic proofs by induction in theories without constructors ⋮ Equational methods in first order predicate calculus ⋮ Which data types have \(\omega\)-complete initial algebra specifications?
This page was built for publication:
