The undefined function differs from the pointwise undefined function
| Author: | Walter Dosch |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/19230 |
| Parent Title (English): | HOA '93: an international workshop on higher order algebra, logic and term rewriting, CWI, Amsterdam, The Netherlands, 23-24.09.1993; participant's proceedings, supported by the European Association for Computer Science Logic (EACSL) |
| Publisher: | CWI |
| Place of publication: | Amsterdam |
| Editor: | Jan Heering, K. Meinke, B. Möller |
| Type: | Conference Proceeding |
| Language: | English |
| Year of first Publication: | 1993 |
| Release Date: | 2017/07/21 |
| First Page: | 1 |
| Last Page: | 19 |
| Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |
| Mathematisch-Naturwissenschaftlich-Technische Fakultät / Institut für Mathematik |
