Primitive recursive algebraic theories and program schemes
- Kühnel, W.
- Meseguer, J.
- Pfender, M.
- Sols, I.
ISSN: 1755-1633, 0004-9727
Datum der Publikation: 1977
Ausgabe: 17
Nummer: 2
Seiten: 207-233
Art: Artikel
ISSN: 1755-1633, 0004-9727
Datum der Publikation: 1977
Ausgabe: 17
Nummer: 2
Seiten: 207-233
Art: Artikel