W. Fokkink
4 titels in de boekenbase · Auteur · 1995–1996
Over W. Fokkink
W. Fokkink staat met 4 titels in de boekenbase als auteur. Bekend van de series ‘Logic group preprint series’ en ‘Preprint series’. Het werk valt vooral onder non-fictie informatief/professioneel algemeen. Verschenen tussen 1995 en 1996 bij Universiteit Utrecht.
Serie: Preprint series →
Correct transformation of rewrite systems for implementation purposes
W. Fokkink
Correct transformation of rewrite systems for implementation purposes
W. Fokkink
Paperback · 1996
Termination modulo equations by abstract commutation with an application to iteration
W. Fokkink
Termination modulo equations by abstract commutation with an application to iteration
W. Fokkink
Paperback · 1996