Stephan Kepser

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