Manfred Schmidt-Schauss | Page 2 | IIIA CSIC

Web:

http://www.ki.informatik.uni-frankfurt.de/persons/schauss/schauss.html

Position:

Co-Autors

Publications
Projects

7 Publications

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.

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.

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.

2008

Jordi Levy, Manfred Schmidt-Schauss, Mateu Villaret; The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing; 2008.

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.

2004

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

No results found