Eintrag weiter verarbeiten
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation : Invited Talk: The Sufficiently Smart Compiler can Prove Theorems!: In...
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | |
In: | Electronic Proceedings in Theoretical Computer Science, 265, 2018, S. 1-1 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |