One-pass reductions

DOI10.14232/ACTACYB.22.3.2016.6MaRDI QIDQ2820785zbMATH OpenOpenAlexFDO

Authors Sándor Vágvölgyi

Publication date 9 September 2016

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.22.3.2016.6

zbMATH Keywords

OI and IO one-pass reductionsterm-rewriting systemstree automata

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• Some decidability results on one-pass reductions
• Systems of reductions
• scientific article; zbMATH DE number 1354853
• Automata for reduction properties solving
• Reductions in tree replacement systems

Cited in

(3)

• Some decidability results on one-pass reductions
• scientific article; zbMATH DE number 1354853 (Why is no real title available?)
• Tail reduction free term rewriting systems revisited

This page was built for publication: One-pass reductions

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