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)
1997
On Equality Up-to Constraints over Finite Trees,
Context Unification and One-Step Rewriting (Joachim Niehren and Manfred Pinkal and Peter Ruhrberg)
A Uniform Approach to Underspecification and Parallelism (Niehren, Joachim and Pinkal, Manfred and Ruhrberg, Peter)
|