Pages that link to "Item:Q1801274"
From MaRDI portal
The following pages link to Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 (Q1801274):
Displaying 7 items.
- Interaction nets for linear logic (Q1583245) (← links)
- Logic colloquium '87. Proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 (Q1801276) (← links)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- (Q3684058) (← links)
- (Q3998034) (← links)
- Nonflatness and totality (Q4611200) (← links)