2 search results - page 1 / 1 » Linear Second-Order Unification and Context Unification with... |
RTA
2000
Springer
13 years 8 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
RTA
2000
Springer
13 years 8 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...