Termination of Higher-Order Rewrite Systems

Authors
Supervisors
Award date 11 December 1996
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type PhD thesis
Permalink to this page
Back