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 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 ; 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
openAccess		9-Jul-2018	Term-graph anti-unification	*Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu*	comunicación de congreso

Showing results 1 to 4 of 4