Further processing options
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation : Invited Talk: The Sufficiently Smart Compiler can Prove Theorems!: In...
Saved in:
Journal Title: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Authors and Corporations: | |
In: | Electronic Proceedings in Theoretical Computer Science, 265, 2018, p. 1-1 |
Type of Resource: | E-Article |
Language: | English |
published: |
Open Publishing Association
|
Subjects: |