Back to Results
First PageMeta Content



Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017
Add to Reading List

Document Date: 2017-02-01 10:34:25

Open Document

File Size: 77,88 KB

Share Result on Facebook