Dr. Peter Ruhrberg

Veröffentlichungen in Verbindung mit SFB 378

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)