Mateu Villaret (17 publications)
2012
"Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers",
ISMVL 2012, 2012.
2011
"Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic",
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011 , Tuusula, Finland, pp. 230-235, 2011.
2010
"An Efficient Nominal Unification Algorithm",
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, pp. 209-226, 2010.
Abstract
"On the Relation Between Context and Sequence Unification",
Journal of Symbolic Computation, vol. 45, issue 1, pp. 74-95, 2010.
Abstract
2009
"On the Complexity of Bounded Second-order Unification and Stratified Context Unification",
Journal of Algorithms in Cognition, Informatics, and Logic, 2009.
Abstract
"Simplifying the Signature in Second-Order Unification",
Applicable Algebra in Engineering, Communication and Computing, vol. 20, issue 5: Springer, pp. 427-445, 2009.
Abstract
2008
"Nominal Unification from a Higher-Order Perspective",
Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08. Lecture Notes in Computer Science, vol. 5117, Hagenberg, Austria, Springer, pp. 246-260, 2008.
Abstract
"The Complexity of Monadic Second-Order Unification",
SIAM Journal on Computing, vol. 38, no. 3, pp. 1113-1140, 2008.
Abstract
2007
"Sequence Unification Through Currying",
Proc. of the 18th International Conference on Rewriting Techniques and Applications, RTA'07. Lecture Notes in Computer Science, vol. 4533: Springer, pp. 288-302, 2007.
Abstract
2006
"Bounded Second-Order Unification Is NP-Complete",
Lecture Notes in Computer Science, vol. 4098: Springer-Verlag, pp. 400-414, 2006.
Abstract
"Stratified Context Unification is NP-complete",
Lecture Notes in Computer Science, vol. 4130: Springer-Verlag, pp. 82-96, 2006.
Abstract
2005
"On some variants of second-order unification",
Monografies del IA, vol. 22: IIIA - CSIC, 2005.
Abstract
"Well-Nested Context Unification",
Lecture Notes in Artificial Intelligence, vol. 3632: Springer-Verlag, pp. 149-163, 2005.
Abstract
2004
"Monadic Second-Order Unifications is NP Complete",
Lecture Notes in Computer Science, vol. 3091: Springer-Verlag, pp. 55-69, 2004.
Abstract
2002
"Currying Second-Order Unification Problems",
Lecture Notes in Computer Science, vol. 2378: Springer-Verlag, pp. 326-339, 2002.
Abstract
2001
"Context unification and Traversal Equations",
Lecture Notes in Computer Science, vol. 2051: Springer-Verlag, pp. 169-184, 2001.
Abstract
2000
"Linear Second-Order Unification and Context Unification with Tree-Regular Constraints",
Lecture Notes in Computer Science, vol. 1833: Springer-Verlag, pp. 156-171, 2000.
Abstract