Univ.-Prof. Dr. Aart Middeldorp   

Tools in Term Rewriting for Education

Sarah Winkler and Aart Middeldorp
Proceedings of the 8th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2019), Electronic Proceedings in Theoretical Computer Science 313, pp. 54 – 72, 2020

abstract   bibtex   pdf   doi:10.4204/EPTCS.313.4
© Creative Commons