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
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess24-Jun-2013A Variant of Higher-Order Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso
openAccessJAR(2017)_58(2)293-310.pdf.jpg2017Higher-Order Pattern Anti-Unification in Linear TimeBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu artículo
openAccess29-Jun-2015Nominal Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso
openAccessTerm_graph.pdf.jpg9-Jul-2018Term-graph anti-unificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi  ; Villaret, Mateu comunicación de congreso