Array Theory and Nial

Peter Falster, Michael Jenkins

    Research output: Book/ReportReportpeer-review


    This report is the result of collaboration between the authors during the first 8 months of 1999 when M. Jenkins was visiting professor at DTU. The report documents the development of a tool for the investigation of array theory concepts and in particular presents various approaches to choose primitive functions for a definition sequence.
    Original languageEnglish
    Number of pages157
    Publication statusPublished - 1999

    Cite this