Export 3 results:
[ Author(Desc)] Title Type Year
Filters: Author is Alexander Baumgartner  [Clear All Filters]
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 
B
Baumgartner A, Kutsia T, Levy J, Villaret M.  2015.  Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2013.  A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
Baumgartner A, Kutsia T, Levy J, Villaret M.  2017.  Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58:293-310.