IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

An Axiomatic Semantics for the Synchronous Language Gentzen

TINI, SIMONE
2001-01-01
2001
Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001
2030
394
409
16
Foundations of Software Science and Computation Structures, 4th Int. Conference, FOSSACS 2001
Genova
April 2-6, 2001
Internazionale
contributo
WOS:000182759100002
2-s2.0-35048900141
Atti di Convegno::Relazione (in Volume)
none
273
info:eu-repo/semantics/conferenceObject
1
Tini, Simone
Relazione (in Volume)
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/11383/1490755
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact