Unification modulo nonnested recursion schemes via anchored semi-unification

DOI10.4230/LIPICS.RTA.2013.271MaRDI QIDQ2958389zbMATH OpenOpenAlexFDO

Authors Gert Smolka, Tobias Tebbi

Publication date 1 February 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2013/4067/

zbMATH Keywords

infinitary rewritingrecursion schemessemi-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Semi-unification
• scientific article; zbMATH DE number 4092757
• Fast algorithms for uniform semi-unification
• scientific article; zbMATH DE number 4049615

This page was built for publication: Unification modulo nonnested recursion schemes via anchored semi-unification

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