English
español
Browsing by Author Baumgartner, Alexander
Showing results 1 to 4 of 4
Rights | Preview | Issue Date | Title | Author(s) | Type |
---|---|---|---|---|---|
openAccess | 24-Jun-2013 | A Variant of Higher-Order Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ![]() ![]() | comunicación de congreso | |
openAccess | ![]() | 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ![]() ![]() | artículo |
openAccess | 29-Jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ![]() ![]() | comunicación de congreso | |
openAccess | ![]() | 9-Jul-2018 | Term-graph anti-unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ![]() ![]() | comunicación de congreso |