Position: 
Co-Autors
8 Publications
2017
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016; 2017.
2015
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15; 2015.
2014
2013
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13; 2013.
2011
Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-Unification for Unranked Terms and Hedges. Proc. of the 22st Int. Conf. on Rewriting Techniques and Applications, RTA'11; 2011.
2010
2007
Temur Kutsia, Jordi Levy, Mateu Villaret; Sequence Unification Through Currying. Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07; 2007.
 

No results found