Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
- Riesco, Adrian
- Rodriguez-Hortala, Juan
Revista:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN: 2075-2180
Año de publicación: 2015
Páginas: 87-99
Tipo: Artículo