Export 3 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Autor is Alexander Baumgartner  [Clear All Filters]
2015
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.
2013
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.