Bohm-Like Trees for Rewriting

J. Ketema

Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

93 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Klop, J.W., Supervisor
  • de Vrijer, R.C., Co-supervisor
  • van Raamsdonk, Femke, Co-supervisor
Award date20 Mar 2006
Place of PublicationVrije Universiteit
Publication statusPublished - 2006

Access to Document

Persistent URL (handle)

    Cite this