Stephan Kepser

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the complexity of RSRL Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Monadic Second-Order Logic and Transitive Closure Logics over Trees Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
The equivalence of tree adjoining grammars and monadic linear context-free tree grammars Journal of Logic, Language and Information	2012-07-31	Paper
On Monadic Second-Order Theories of Multidominance Structures Lecture Notes in Computer Science	2010-08-31	Paper
Closure properties of linear context-free tree languages with an application to optimality theory Theoretical Computer Science	2006-04-28	Paper
Querying linguistic treebanks with monadic second-order logic in linear time Journal of Logic, Language and Information	2005-04-07	Paper
Negation in combining constraint systems	2002-04-03	Paper
Optimisation techniques for combing constraint solvers	2002-04-03	Paper
Combination of constraint systems II: Rational amalgamation Theoretical Computer Science	2002-03-03	Paper

Research outcomes over time

This page was built for person: Stephan Kepser