Proving termination of term rewriting automatically

  • J. van der Wulp

Student thesis: Master

Abstract

Date of Award31 Aug 2005
Original languageEnglish
SupervisorHans Zantema (Supervisor 1)

Cite this

'