An Axiomatic Semantics for the Synchronous Language Gentzen

Contributo in Atti di convegno
Data di Pubblicazione:
2001
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1490755
Titolo del libro:
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series