Optimal reduction in replacement systems

DOI10.1017/S0004972700023443zbMATH Open0357.68051MaRDI QIDQ4133130FDOQ4133130

Authors: John Staples 

Publication date: 1977

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05)

Cites Work

• On theories with a combinatorial definition of 'equivalence'
• Some Properties of Conversion
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Optimal reduction in replacement systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133130)