Gentzen. Conference, Rome, Italy, October 3--5, 1996 (Q1279563)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gentzen. Conference, Rome, Italy, October 3--5, 1996 |
scientific article; zbMATH DE number 1249474
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gentzen. Conference, Rome, Italy, October 3--5, 1996 |
scientific article; zbMATH DE number 1249474 |
Statements
Gentzen. Conference, Rome, Italy, October 3--5, 1996 (English)
0 references
8 February 1999
0 references
The articles of this volume will be reviewed individually. Gentzen is a keyword for the Esprit-BRA Working Group 7232 developing methodologies and programming techniques.
0 references
Rome (Italy)
0 references
Proceedings
0 references
Conference
0 references
Gentzen
0 references
Special issue
0 references
