43 |
On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
|
|
|
|
In: Proceedings of the International Conference on Automated Deduction ; https://hal.inria.fr/inria-00536822 ; Proceedings of the International Conference on Automated Deduction, 1997, Townsville, Australia. pp.34-48 (1997)
|
|
BASE
|
|
Show details
|
|
44 |
A Uniform Approach to Underspecification and Parallelism
|
|
|
|
In: 35th Annual Meeting of the Association of Computational Linguistics ; https://hal.inria.fr/inria-00536821 ; 35th Annual Meeting of the Association of Computational Linguistics, 1997, Madrid, Spain. pp.410-417 (1997)
|
|
BASE
|
|
Show details
|
|
48 |
CLEARS - An Education and Research Tool for Computational Semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
51 |
Vagueness, Ambiguity, and Underspecification
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 6; 185-201 ; 2163-5951 (1996)
|
|
BASE
|
|
Show details
|
|
58 |
Comparative Ellipsis and Variable Binding
|
|
|
|
In: Semantics and Linguistic Theory; Proceedings of SALT 5; 222-236 ; 2163-5951 (1995)
|
|
BASE
|
|
Show details
|
|
|
|