DaftarIsitemplate

Call Number

005.16 Bit f

Title

Relative undercidability in the termination hierarchy of single rewrite rules (LNCS- Lecture Notes in Computer Science 1214), Hal. 237-248

Author

Alfone Geser; Aart Mindeldorp; Enno Ohlebrusch; Hanna Zantema;

Publisher

Springer, 1997

Subject

Location