Completion of equational specifications

Authors
Publication date 2003
Host editors
  • Terese
Book title Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science
Series 55
Pages (from-to) 260-300
Publisher Cambridge: Cambridge University Press
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Chapter
Permalink to this page
Back