RTA
2000
Springer
14 years 3 months ago
2000
Springer
RTA
2000
Springer
14 years 3 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
14 years 3 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...
RTA
2000
Springer
14 years 3 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...
RTA
2000
Springer
14 years 3 months ago
2000
Springer