Decidability Properties of Recursive Types

Articolo

Data di Pubblicazione:

2003

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

CARDONE F.; M. COPPO

Autori di Ateneo:

CARDONE Felice

Link alla scheda completa:

https://iris.unito.it/handle/2318/4158

Pubblicato in:

LECTURE NOTES IN COMPUTER SCIENCE

Journal

LECTURE NOTES IN COMPUTER SCIENCE

Series