Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
- Riesco, Adrian
- Rodriguez-Hortala, Juan
Aldizkaria:
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN: 2075-2180
Argitalpen urtea: 2015
Orrialdeak: 87-99
Mota: Artikulua