Listing items by Author "Levy, Jordi"
16 items found
Showing titles from 0 to 16:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 5 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2011 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2014 February |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2010 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 5 |
An Efficient Nominal Unification Algorithm |
Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 5 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2017 February 1 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2013 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 5 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|