Back to Search
Start Over
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming
- Source :
- Electronic Proceedings in Theoretical Computer Science. 44
- Publication Year :
- 2010
- Publisher :
- Open Publishing Association, 2010.
- Subjects :
- Programming language
Computer science
Rewriting
computer.software_genre
computer
Subjects
Details
- ISSN :
- 20752180
- Volume :
- 44
- Database :
- OpenAIRE
- Journal :
- Electronic Proceedings in Theoretical Computer Science
- Accession number :
- edsair.doi...........52d41446cc3eeb9fc218ffcc66b546ac