Relative Undecidability in Term Rewritin
β
Alfons Geser; Aart Middeldorp; Enno Ohlebusch; Hans Zantema
π
Article
π
2002
π
Elsevier Science
π
English
β 243 KB