English español

Browsing by Author Baumgartner, Alexander

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 3 of 3

Rights	Issue Date	Title	Author(s)	Type
openAccess	24-Jun-2013	A Variant of Higher-Order Anti-Unification	*Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu*	comunicación de congreso
openAccess	2017	Higher-Order Pattern Anti-Unification in Linear Time	*Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu*	artículo
openAccess	29-Jun-2015	Nominal Anti-Unification	*Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu*	comunicación de congreso

Showing results 1 to 3 of 3