A coinductive semantics of the unlimited register machine
[Udine] : Università degli studi di Udine, Dipartimento di matematica e informatica, [2009]
| Campo | Valore |
|---|---|
| Descrizione | A coinductive semantics of the unlimited register machine / Alberto Ciaffaglione. - [Udine] : Università degli studi di Udine, Dipartimento di matematica e informatica, [2009]. - 12 p. ; 30 cm. - (UDMI. Rapporto di ricerca = Research report ; 2009/09) |
| Note |
In calce alla cop.: University of Udine, Department of matematics and computer science
|
| Collezione | |
| Autori | |
| Luogo di pubblicazione | |
| Editore | |
| Soggetto | |
| Classificazione |
|
| Chiavi | |
| Paese | |
| Lingua | |
| ID scheda | 420649 |
| Biblioteca | Inv. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|
| Udine - Sede Centrale | Joppi 515578 | MISC. 2927.10 | Ammesso al prestito | A scaffale | Nessuna |