scientific article
From MaRDI portal
Publication:3976027
zbMath0790.68103MaRDI QIDQ3976027
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parallel algorithms in computer science (68W10) Mechanization of proofs and logical operations (03B35)
Related Items (2)
Unification and Matching in Hierarchical Combinations of Syntactic Theories ⋮ Complete axiomatizations of some quotient term algebras
This page was built for publication:
