93
Voted
RTA
1998
Springer
15 years 4 months ago
1998
Springer
RTA
1998
Springer
15 years 4 months ago
1998
Springer
The system FT
100
click to vote
RTA
1998
Springer
15 years 4 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
63
Voted
RTA
1998
Springer
15 years 4 months ago
1998
Springer
93
Voted
RTA
1998
Springer
15 years 4 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
70
Voted
RTA
1998
Springer
15 years 4 months ago
1998
Springer
61
Voted
RTA
1998
Springer
15 years 4 months ago
1998
Springer
