Abstract
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 language | English |
|---|
| Number of pages | 157 |
|---|---|
| Publication status | Published - 1999 |