Skip to main content
Home
CSIC
  • Català
  • English
  • Español

Search form

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

  • About IIIA
    • History
    • Location
    • Work with us
  • Staff
    • Current staff
    • Former staff
  • Departments
    • Reasoning and Logic
    • Learning Systems
    • Multiagent Systems
  • Activities
    • Seminar
    • Conferences
    • Doctoral consortium
  • Research
    • Projects
    • Tesis
  • Current news
    • Gamificación y...
    • Eduteams visita la...
    • Joan Capdevila PhD...
  • Transfer
    • UDT
    • Spin-offs
  • Repository
  • IIIA-CSIC
  • CAMPUS DE LA UAB, E-08193
  • BELLATERRA, CATALONIA (SPAIN)
  • TEL: (+34) 93 580 9570
  • FAX: (+34) 93 580 9661
  • Work with us
  • Complaints and suggestions
  • Contact
  • by Drauta