Email: 
villaret@ima.udg.es
Position: 
Former PhD students
26 Publications
2016
2015
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015; 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.
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 12th Conference on Modeling Decisions for Artificial Intelligence (MDAI 2015); 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.
2012
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.
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret; Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011; 2011.
2010
Jordi Levy, Mateu Villaret; An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010; 2010.
2009
Jordi Levy, Mateu Villaret; Simplifying the Signature in Second-Order Unification. Applicable Algebra in Engineering, Communication and Computing; 2009.
2008
Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08; 2008.
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.
2006
2005
2004
2002
2001
2000
 

No results found