13 results
Church-Rooser property and homology of monoids
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 3 / November 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 297-326
-
- Article
- Export citation
Foreword
-
- Journal:
- Mathematical Structures in Computer Science / Volume 8 / Issue 6 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, p. 541
-
- Article
- Export citation
The finite model property for various fragments of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1202-1208
- Print publication:
- December 1997
-
- Article
- Export citation
The undecidability of second order linear logic without exponentials
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-548
- Print publication:
- June 1996
-
- Article
- Export citation
Part I - Categories and semantics
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Advances in Linear Logic
-
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995
Part II - Complexity and expressivity
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Part IV - Proof nets
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp vii-viii
-
- Chapter
- Export citation
Part III - Proof theory
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation
Contents
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp v-vi
-
- Chapter
- Export citation
Part V - Geometry of interaction
-
- Book:
- Advances in Linear Logic
- Published online:
- 17 February 2010
- Print publication:
- 22 June 1995, pp -
-
- Chapter
- Export citation