Gentzen. Conference, Rome, Italy, October 3--5, 1996
From MaRDI portal
Publication:1279563
zbMath0907.00043MaRDI QIDQ1279563
No author found.
Publication date: 8 February 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55)
This page was built for publication: Gentzen. Conference, Rome, Italy, October 3--5, 1996
