Q3347284
type: Item
instance of: scholarly article
zbMATH Open document ID: 0558.68029
author: Rimgaudas Zhaldokas
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 3890721
zbMATH Keywords: complete systems of term rewriting rules
zbMATH Keywords: equational theories
MaRDI profile type: Publication
Recommended article: Q3757892
Recommended article: On sufficient-completeness and related properties of term rewriting systems
Recommended article: Q4376886
Recommended article: Q3817590
Recommended article: Q4364373
Recommended article: Q5749279
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: Completion for constrained term rewriting systems
Recommended article: On interreduction of semi-complete term rewriting systems
Recommended article: Inductive synthesis of term rewriting systems
description: scientific article