Abstract Interpretation Based Semantics of Sequent Calculi

Articolo
Data di Pubblicazione:
2000
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Amato, Gianluca; Giorgio, Levi
Autori di Ateneo:
AMATO Gianluca
Link alla scheda completa:
https://ricerca.unich.it/handle/11564/111248
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series