Browsing by Author "Levy, Jordi"

Browsing by Author "Levy, Jordi"

Now showing items 1-6 of 6

Sequence Unification Through Currying

2007 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

An Efficient Nominal Unification Algorithm

2010 Article

Levy, Jordi Villaret i Ausellé, Mateu

Anti-Uniﬁcation for Unranked Terms and Hedges

2011 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

A Variant of Higher-Order Anti-Unification

2013 Article

Baumgartner, Alexander Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Anti-unification for unranked terms and hedges

2014-02 Article

Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Higher-Order Pattern Anti-Unification in Linear Time

2017-02-01 Article

Baumgartner, Alexander Kutsia, Temur Levy, Jordi Villaret i Ausellé, Mateu

Now showing items 1-6 of 6