Optimal reduction in replacement systems

DOI10.1017/S0004972700023443zbMath0357.68051MaRDI QIDQ4133130

John Staples

Publication date: 1977

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

Mathematics Subject Classification ID

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

Cites Work

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

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