scientific article; zbMATH DE number 794238
From MaRDI portal
Publication:4846998
zbMath0839.68048MaRDI QIDQ4846998
Publication date: 10 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Free products with amalgamation of monoids ⋮ Theorem proving with group presentations: Examples and questions ⋮ Invariants, patterns and weights for ordering terms
This page was built for publication: