Unranked Second-Order Anti-Unification

DOI10.1007/978-3-662-44145-9_5zbMath1372.68151OpenAlexW62401054MaRDI QIDQ2938131

Alexander Baumgartner, Temur Kutsia

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

A Library of Anti-unification Algorithms

This page was built for publication: Unranked Second-Order Anti-Unification