![](/img/cover-not-exists.png)
Decidability of reachability for disjoint union of term rewriting systems
Anne-Cécile Caron, Jean-Luc CoquideVolume:
126
Year:
1994
Language:
english
Pages:
22
DOI:
10.1016/0304-3975(94)90267-4
File:
PDF, 1.30 MB
english, 1994