Compilation of Term Rewriting Systems

Authors
Supervisors
Award date 16-09-1996
Publisher Amsterdam: UvA
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Permalink to this page
Back