Mateu Villaret | Page 2 | IIIA CSIC

Email:

villaret@ima.udg.es

Web:

http://ima.udg.es/~villaret

Position:

Former PhD students

Publications
Projects

27 Publications

2017

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 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

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

Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 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

Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret; Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012; 2012.

Jordi Levy, Mateu Villaret; Nominal Unification from a Higher-Order Perspective. ACM Transactions on Computational Logics; 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.

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL; 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.

Temur Kutsia, Jordi Levy, Mateu Villaret; On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation; 2010.

2009

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic; 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.

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing; 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

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science; 2006.

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Stratified Context Unification is NP-complete. Lecture Notes in Computer Science; 2006.

2005

Mateu Villaret; On some variants of second-order unification. Monografies del IA; 2005.

Jordi Levy, Joachim Niehren, Mateu Villaret; Well-Nested Context Unification. Lecture Notes in Artificial Intelligence; 2005.

2004

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; Monadic Second-Order Unifications is NP Complete. Lecture Notes in Computer Science; 2004.

2002

Jordi Levy, Mateu Villaret; Currying Second-Order Unification Problems. Lecture Notes in Computer Science; 2002.

2001

Jordi Levy, Mateu Villaret; Context unification and Traversal Equations. Lecture Notes in Computer Science; 2001.

2000

Jordi Levy, Mateu Villaret; Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Lecture Notes in Computer Science; 2000.

No results found