A transformation tool for pure Prolog programs: the algebraic specification

Authors
Publication date 1996
Series Technical Report, P9607
Publisher onbekend: onbekend (FdL)
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Report
Permalink to this page
Back