SFB 378 home personal page

C
CHORUS

Peter Ruhrberg

publications relevant to SFB 378

Search Terms
Boolean Case

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)


SFB 378 home personal page