Stephan Kepser

Publication Activity (10 Years)

Years Active: 1996-2011
Publications (10 Years): 0

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Stephan Kepser, Jim Rogers
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars. J. Log. Lang. Inf. 20 (3) (2011)
Stephan Kepser
On Monadic Second-Order Theories of Multidominance Structures. MOL (2009)
Stephan Kepser, James Rogers
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars. MOL (2009)
Stephan Kepser, Uwe Mönnich
Closure properties of linear context-free tree languages with an application to optimality theory. Theor. Comput. Sci. 354 (1) (2006)
Hans-Jörg Tiede, Stephan Kepser
Monadic Second-Order Logic and Transitive Closure Logics over Trees. Electron. Notes Theor. Comput. Sci. 165 (2006)
Stephan Kepser
Using MONA for Querying Linguistic Treebanks. HLT/EMNLP (2005)
Stephan Kepser
Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time. J. Log. Lang. Inf. 13 (4) (2004)
Stefanie Herrmann, Hartmut Keck, Stephan Kepser
A Multi-Modal Documentation System for Warao. LREC (2004)
Stephan Kepser
A Simple Proof for the Turing-Completeness of XSLT and XQuery. Extreme Markup Languages® (2004)
Stephan Kepser
Finite Structure Query: A Tool for Querying Syntactically Annotated Corpora. EACL (2003)
Klaus U. Schulz, Stephan Kepser
Combination of constraint systems II: Rational amalgamation. Theor. Comput. Sci. 266 (1-2) (2001)
Stephan Kepser
On the Complexity of RSRL. Electron. Notes Theor. Comput. Sci. 53 (2001)
Stephan Kepser, Jörn Richts
UNIMOK: A System for Combining Equational Unification Algorithm. RTA (1999)
Stephan Kepser, Jörn Richts
Optimisation Techniques for Combining Constraint Solvers. FroCoS (1998)
Stephan Kepser
Negation in Combining Constraint Systems. FroCoS (1998)
Stephan Kepser, Klaus U. Schulz
Combination of Constraint Systems II: Rational Amalgamation. CP (1996)

Stephan Kepser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Stephan Kepser