scientific article; zbMATH DE number 7205325

DOI10.4230/LIPICS.RTA.2012.69zbMATH Open1437.68075MaRDI QIDQ5111897FDOQ5111897

Patrick Bahr

Publication date: 27 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

metricpartial orderinfinitary rewritinggraph rewritingterm graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Böhm Reduction in Infinitary Term Graph Rewriting Systems
• Title not available (Why is that?)

This page was built for publication:

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