Optimal reduction in replacement systems

DOI10.1017/S0004972700023443MaRDI QIDQ4133130zbMATH OpenFDO

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)