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
Any de publicació: 2015
Pàgines: 87-99
Tipus: Article