Constraints over Lambda-Structures in Semantic Underspecification
(pdf)
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting
of the Association for Computational Linguistics
A Uniform Approach to Underspecification and Parallelism
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL)
On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
(pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the International Conference on Automated Deduction