Stephan Kepser - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2011

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree GrammarsStephan Kepser, Jim Rogers. jolli, 20(3):361-384, 2011. [doi]

2009

On Monadic Second-Order Theories of Multidominance StructuresStephan Kepser. mol 2010: 117-128 [doi]

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree GrammarsStephan Kepser, James Rogers. mol 2010: 129-144 [doi]

2006

Closure properties of linear context-free tree languages with an application to optimality theoryStephan Kepser, Uwe Mönnich. TCS, 354(1):82-97, 2006. [doi]

Monadic Second-Order Logic and Transitive Closure Logics over TreesHans-Jörg Tiede, Stephan Kepser. ENTCS, 165:189-199, 2006. [doi]

2005

Using MONA for Querying Linguistic TreebanksStephan Kepser. naacl 2005: 555-562 [doi]

2004

A Multi-Modal Documentation System for WaraoStefanie Herrmann, Hartmut Keck, Stephan Kepser. lrec 2004: [doi]

A Simple Proof for the Turing-Completeness of XSLT and XQueryStephan Kepser. extreme 2004: [doi]

Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear TimeStephan Kepser. jolli, 13(4):457-470, 2004. [doi]

2003

Finite Structure Query: A Tool for Querying Syntactically Annotated CorporaStephan Kepser. eacl 2003: 179-186 [doi]

2001

On the Complexity of RSRLStephan Kepser. ENTCS, 53:146-162, 2001. [doi]

Combination of constraint systems II: Rational amalgamationKlaus U. Schulz, Stephan Kepser. TCS, 266(1-2):113-157, 2001. [doi]

1999

UNIMOK: A System for Combining Equational Unification AlgorithmStephan Kepser, Jörn Richts. RTA 1999: 248-251 [doi]

1998

Combination of constraint systemsStephan Kepser. PhD thesis, Ludwig Maximilian University of Munich, Germany, 1998. [doi]

Optimisation Techniques for Combining Constraint SolversStephan Kepser, Jörn Richts. frocos 1998: 193-210

Negation in Combining Constraint SystemsStephan Kepser. frocos 1998: 177-192

1996

Combination of Constraint Systems II: Rational AmalgamationStephan Kepser, Klaus U. Schulz. cp 1996: 282-296

Sign in or sign up to see more results.

runs on WebDSL