Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Manfred Schmidt-Schauss
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Manfred Schmidt-Schauss
Manfred Schmidt-Schauss
Current staff
Former staff
Manfred Schmidt-Schauss
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.
Download PDF
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.
Download PDF
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.
Download PDF
2008
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
The Complexity of Monadic Second-Order Unification
.
SIAM Journal on Computing;
2008.
Download PDF
2006
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Bounded Second-Order Unification Is NP-Complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Stratified Context Unification is NP-complete
.
Lecture Notes in Computer Science;
2006.
Download PDF
2004
Jordi Levy
,
Manfred Schmidt-Schauss
,
Mateu Villaret
;
Monadic Second-Order Unifications is NP Complete
.
Lecture Notes in Computer Science;
2004.
Download PDF
No results found