Bertoni, A., Miglioli, P., Mauri, G. (1983). On the power of model theory in specifying abstract data types and in capturing their recursiveness. ANNALES SOCIETATIS MATHEMATICAE POLONAE. SERIES 4. FUNDAMENTA INFORMATICAE, 6(2), 129-170.
On the power of model theory in specifying abstract data types and in capturing their recursiveness
MAURI, GIANCARLO
1983
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.