173
Voted
RTA
1998
Springer
15 years 11 months ago
1998
Springer
The system FT
176
click to vote
RTA
1998
Springer
15 years 11 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...
131
Voted
RTA
1998
Springer
15 years 11 months ago
1998
Springer
177
Voted
RTA
1998
Springer
15 years 11 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...
144
Voted
RTA
1998
Springer
15 years 11 months ago
1998
Springer
