|
|||||
|
|
Levels of undecidability in rewriting |
|
| Authors: | Jörg Endrullis Jakob Grue Simonsen |
| Affiliation: | a Department of Computer Science, Free University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands b Institute for Computing and information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands c Department of Computer Science, TU Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands d Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen, Denmark |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |