scientific article

DOI10.4230/LIPICS.RTA.2013.319zbMath1356.68127MaRDI QIDQ2958393

Aart Middeldorp, Sarah Winkler

Publication date: 1 February 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completionterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Left-Linear Completion with AC Axioms ⋮ Extending Maximal Completion (Invited Talk)

This page was built for publication: