Programming Systems Lab: Publications by Manfred Pinkal

Saarland University Computer Science

Select author:

1997

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


Login to edit


Webmaster, Mon May 30 13:48:30 2016