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
Ano de publicación: 2015
Páxinas: 87-99
Tipo: Artigo