Stephan Kepser

According to our database, Stephan Kepser authored at least 16 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars.

Stephan Kepser, Jim Rogers

J. Log. Lang. Inf., 2011

2009

The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars.

Stephan Kepser, James Rogers

Proceedings of the Mathematics of Language, 10th and 11th Biennial Conference, 2009

On Monadic Second-Order Theories of Multidominance Structures.

Stephan Kepser

Proceedings of the Mathematics of Language, 10th and 11th Biennial Conference, 2009

2006

Closure properties of linear context-free tree languages with an application to optimality theory.

Stephan Kepser, Uwe Mönnich

Theor. Comput. Sci., 2006

Monadic Second-Order Logic and Transitive Closure Logics over Trees.

Hans-Jörg Tiede, Stephan Kepser

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Using MONA for Querying Linguistic Treebanks.

Stephan Kepser

Proceedings of the HLT/EMNLP 2005, 2005

2004

Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time.

Stephan Kepser

J. Log. Lang. Inf., 2004

A Multi-Modal Documentation System for Warao.

Stefanie Herrmann, Hartmut Keck, Stephan Kepser

Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

A Simple Proof for the Turing-Completeness of XSLT and XQuery.

Stephan Kepser

Proceedings of the Extreme Markup Languages® 2004 Conference, 2004

2003

Finite Structure Query: A Tool for Querying Syntactically Annotated Corpora.

Stephan Kepser

Proceedings of the EACL 2003, 2003

2001

Combination of constraint systems II: Rational amalgamation.

Klaus U. Schulz, Stephan Kepser

Theor. Comput. Sci., 2001

On the Complexity of RSRL.

Stephan Kepser

Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), 2001

1999

UNIMOK: A System for Combining Equational Unification Algorithm.

Stephan Kepser, Jörn Richts

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

1998

Combination of constraint systems.

Stephan Kepser

PhD thesis, 1998

Optimisation Techniques for Combining Constraint Solvers.

Stephan Kepser, Jörn Richts

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Negation in Combining Constraint Systems.

Stephan Kepser

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998