Published 2000
| Version v1
Publication
Termination of Constraint Contextual Rewriting
- Creators
- ARMANDO, ALESSANDRO
- S. RANISE
- Others:
- Armando, Alessandro
- S., Ranise
Additional details
- URL
- http://hdl.handle.net/11567/202008
- URN
- urn:oai:iris.unige.it:11567/202008
- Origin repository
- UNIGE