DUGi: Browse by Title | (dc.creator:"Kutsia, Temur" OR dc.contributor:"Kutsia, Temur" OR dc.contributor.other:"Kutsia, Temur")

Browse by Title

12 items found

Showing titles from 0 to 12:

Format	Date	Title	Author
Format	Date	Title	Author
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-Uniﬁcation 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-Uniﬁcation 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
	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