Abstract models of transfinite reductions

DOI10.4230/LIPICS.RTA.2010.49MaRDI QIDQ5389135zbMATH OpenOpenAlexFDO

Authors Patrick Bahr

Publication date 25 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_76c6.html

zbMATH Keywords

metricpartial orderterm rewritingaxiomaticinfinitary rewritinggraph rewritingabstract reduction system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Partial Order Infinitary Term Rewriting
• Transfinite reductions in orthogonal term rewriting systems
• Infinitary rewriting: closure operators, equivalences and models
• Transfinite reductions in orthogonal term rewriting systems
• Partial order infinitary term rewriting and Böhm trees

Cited in

(4)

• Böhm Reduction in Infinitary Term Graph Rewriting Systems
• Strict ideal completions of the lambda calculus
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• Infinitary rewriting: closure operators, equivalences and models

This page was built for publication: Abstract models of transfinite reductions

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