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

Articolo in rivista - Articolo scientifico
Model theory; abstract data types; recursiveness
English
1983
6
2
129
170
none
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.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/10433
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact