scientific article
From MaRDI portal
Publication:3319767
zbMath0535.68012MaRDI QIDQ3319767
Paliath Narendran, Deepak Kapur
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03)
Related Items
On the regular equivalence problem for regular Thue systems ⋮ On reduced thue systems ⋮ Computing a Gröbner basis of a polynomial ideal over a Euclidean domain ⋮ Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems ⋮ Boolean unification - the story so far ⋮ The Church-Rosser property and special Thue systems ⋮ A finite Thue system with decidable word problem and without equivalent finite canonical system
