scientific article
From MaRDI portal
Publication:3992573
zbMath0666.68003MaRDI QIDQ3992573
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)
Related Items (4)
An equational logic sampler ⋮ Open problems in rewriting ⋮ Equational completion in order-sorted algebras ⋮ A field guide to equational logic
This page was built for publication:
