Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 (Q1586203)
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: Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 |
scientific article; zbMATH DE number 1527774
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 |
scientific article; zbMATH DE number 1527774 |
Statements
Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 (English)
0 references
9 November 2000
0 references
The articles of this volume will be reviewed individually. Most of the earlier version of the papers included in this and the following second special issues appeared as either an extended abstract or a preliminary report in the Electronic Notes of Theoretical Computer Science Vol. 3 (1996).
0 references
Special issue
0 references
Tokyo (Japan)
0 references
Proceedings
0 references
Meeting
0 references
Linear logic
0 references
