Tools in Term Rewriting for Education

Sarah Winker, Aart Middeldorp
8th International Workshop on Theorem Proving Components for Educational Software, EPTCS 313, pp. 54 – 72, 2020.

abstract   BibTeX   PDF   doi:10.4204/EPTCS.313.4  
Creative Commons License (CC BY 3.0)