2002
The Monadic Second-Order Dominance Logic and Parallelism Constraints (Joachim Niehren and Mateu Villaret)
On Lambda Binding, Parallelism Constraints, and Context Unification (Joachim Niehren and Mateu Villaret)
First-Order Theory of Subtyping Constraints (Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, and Ralf Treinen)
2001
The Constraint Language for Lambda Structures (Markus Egg and Alexander Koller and Joachim Niehren)
Underspecified Beta Reduction (Manuel Bodirsky and Katrin Erk and Alexander Koller
and Joachim Niehren)
Beta Reduction Constraints (Manuel Bodirsky and Katrin Erk and Alexander Koller
and Joachim Niehren)
Non-Structural Subtype Entailment in Automata Theory (Joachim Niehren and Tim Priesnitz)
The first-order theory of ordering constraints over feature
trees (Martin Müller and Joachim Niehren and Ralf Treinen )
Processing Underspecified Semantic Representations in
the Constraint Language for Lambda Structures (Katrin Erk and Alexander Koller and Joachim Niehren)
An Efficient Algorithm for the Configuration Problem
of Dominance Graphs (Ernst Althaus and Denys Duchier and Alexander Koller
and Kurt Mehlhorn and Joachim Niehren and Sven Thiel)
Dominance Constraints: Algorithms and Complexity (Alexander Koller, Joachim Niehren, Ralf Treinen)
2000
Uniform Confluence in Concurrent Computation (Joachim Niehren)
A Polynomial-Time Fragment of Dominance Constraints (Alexander Koller and Kurt Mehlhorn and Joachim Niehren)
Relaxing Underspecified Semantic
Representations for Reinterpretation (Alexander Koller and Joachim Niehren and Kristina Striegnitz)
Dominance Constraints with Set Operators (Denys Duchier and Joachim Niehren)
Parallelism Constraints (Katrin Erk and Joachim Niehren)
On Underspecified Processing of Dynamic Semantics (Alexander Koller and Joachim Niehren)
Constraint Programming in Computational Linguistics (Alexander Koller and Joachim Niehren)
On Rewrite Constraints and Context Unification (Joachim Niehren and Ralf Treinen and Sophie Tison)
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas Podelski)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
1999
Uniform Confluence in Concurrent Computation (Unabridged) (Joachim Niehren)
Entailment of Atomic Set Constraints is PSPACE-Complete (Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Entailment of Non-Structural Subtype Constraints (Joachim Niehren and Tim Priesnitz)
Uniform Confluence in Concurrent Computation (Joachim Niehren)
1998
Constraints over Lambda Structures, Antecedent
Contained Deletion, and Quantifier Identities (Egg,Markus and Koller, Alexander and Niehren,
Joachim and Ruhrberg, Peter)
Constraints over Lambda-Structures
in Semantic Underspecification (Markus Egg and Joachim Niehren and Peter Ruhrberg and
Feiyu Xu)
Entailment of Atomic Set Constraints is PSPACE-Complete (Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Dominance Constraints: Algorithms and Complexity (Alexander Koller, Joachim Niehren, Ralf Treinen)
Dominance Constraints in Context Unification (Joachim Niehren and Alexander Koller)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
The First-Order Theory of Ordering Constraints over
Feature Trees (Martin Müller and Joachim Niehren and Ralf Treinen)
1997
Typed Concurrent Programming with Logic Variables (Martin Müller and Joachim Niehren and Gert Smolka)
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas
Podelski)
Entailment of Set Constraints is not Feasible (Martin Müller and Joachim Niehren)
On Equality Up-to Constraints over Finite Trees,
Context Unification and One-Step Rewriting (Joachim Niehren and Manfred Pinkal and Peter Ruhrberg)
Inclusion Constraints over Non-Empty Sets of Trees (Joachim Niehren and Martin Müller and Andreas
Podelski)
1996
Functional Computation as Concurrent Computation (Niehren, Joachim)
|