Q3343462
type: Item
instance of: scholarly article
zbMATH Open document ID: 0551.68066
author: T. V. Griffiths
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D03
Mathematics Subject Classification ID: 03D25
zbMATH DE Number: 3878384
zbMATH Keywords: general rewriting system
zbMATH Keywords: semi-Thue system
zbMATH Keywords: context-free language
MaRDI profile type: Publication
Recommended article: An algebraic structure for derivations in rewriting systems
Recommended article: Q3757892
Recommended article: Foundations of Software Science and Computation Structures
Recommended article: Expressing combinatory reduction systems derivations in the rewriting calculus
Recommended article: Remarks on Thatte's transformation of term rewriting systems
Recommended article: Q4942275
Recommended article: Derivational complexity and context-sensitive Rewriting
Recommended article: Derivation trees of ground term rewriting systems.
Recommended article: A note on depth-first derivations
Recommended article: Computer Science Logic
description: scientific article