Automatisierung von Terminierungsbeweisen für rekursiv definierte AlgorithmenJürgen GieslUitverkocht4,3Hou mij op de hoogte
