Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
- Riesco, Adrian
- Rodriguez-Hortala, Juan
Zeitschrift:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN: 2075-2180
Datum der Publikation: 2015
Seiten: 87-99
Art: Artikel