Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
☰
Outputs
An Axiomatic Semantics for the Synchronous Language Gentzen
Academic Article
Publication Date:
2003
Iris type:
Articolo su Rivista
List of contributors:
Tini, Simone
Authors of the University:
TINI SIMONE
Handle:
https://irinsubria.uninsubria.it/handle/11383/1490752
Published in:
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Journal
