Air Iuav archivio istituzionale della ricerca
AIR è l'Archivio Istituzionale della Ricerca ad accesso aperto dell'Università Iuav di Venezia che ha lo scopo di raccogliere, documentare, diffonderee conservare i prodotti scientifici dell'ateneo.
AIR IUAV si avvale di IRIS, il sistema di gestione integrata dei dati della ricerca del CINECA.
EnglishProgramming practice suggests a general notion of primitive iteration which subsumes the for-until-do construct as well as all known primative iteration operators. This leads to new iterative characterizations of primitive computable functions usable in computer science.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11578/42580| Titolo: | Primitive iteration and unary functions |
| Autori interni: | MAZZANTI, STEFANO |
| Data di pubblicazione: | 1988 |
| Rivista: | ANNALS OF PURE AND APPLIED LOGIC |
| Abstract: | Programming practice suggests a general notion of primitive iteration which subsumes the for-until-do construct as well as all known primative iteration operators. This leads to new iterative characterizations of primitive computable functions usable in computer science. |
| Handle: | http://hdl.handle.net/11578/42580 |
| Appare nelle tipologie: | 1.1 Articolo su Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017