Termination of Higher-Order Rewrite Systems

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