Equational specifications, complete term rewriting systems, and computable and

Open Access
Authors
Publication date 1995
Journal Journal of the Association for Computing Machinery
Volume | Issue number 42 | 6
Pages (from-to) 1194-1230
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Published at https://doi.org/10.1145/227683.227687
Downloads
Permalink to this page
Back