dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Manfred Schmidt-Schauß (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: On the complexity of Bounded Second-Order Unification and Stratified Context Unification. Logic Journal of the IGPL 19(6): 763-789 (2011)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: The Complexity of Monadic Second-Order Unification. SIAM J. Comput. 38(3): 1113-1140 (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Stratified Context Unification Is NP-Complete. IJCAR 2006: 82-96
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Bounded Second-Order Unification Is NP-Complete. RTA 2006: 400-414
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Levy, Manfred Schmidt-Schauß, Mateu Villaret: Monadic Second-Order Unification Is NP-Complete. RTA 2004: 55-69

Selection of 5 from 78 records - Manfred Schmidt-Schauß has 35 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page