6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Frontmatter
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp i-iv
-
- Chapter
- Export citation
Part three - Invited Articles
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 323-324
-
- Chapter
- Export citation
4 - Linearity and Nonlinearity in Distributed Computation
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 151-188
-
- Chapter
- Export citation
Part one - Tutorials
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 1-2
-
- Chapter
- Export citation
2 - Proof Nets and the λ-Calculus
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 65-118
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805216/08572/cover/9780521608572.jpg)
Linear Logic in Computer Science
-
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004
9 - Bicategories in Algebra and Linguistics
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 325-345
-
- Chapter
- Export citation
Contents
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp v-vi
-
- Chapter
- Export citation
3 - An Overview of Linear Logic Programming
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 119-150
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp vii-viii
-
- Chapter
- Export citation
7 - Slicing Polarized Additive Normalization
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 247-282
-
- Chapter
- Export citation
1 - Category Theory for Linear Logicians
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 3-64
-
- Chapter
- Export citation
10 - Between Logic and Quantic: a Tract
-
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 346-381
-
- Chapter
- Export citation
Logarithmic Combinatorial Structures: A Probabilistic Approach, by Richard Arratia, A. D. Barbour and Simon Tavaré, European Mathematical Society Monographs in Mathematics, 2003, 375 pp., €69
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 916-917
-
- Article
- Export citation
Spin Glasses: A Challenge for Mathematicians – Cavity and Mean Field Models, by Michel Talagrand, Springer, 2003, 586 pp., €139.05/$159.00
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 913-915
-
- Article
- Export citation
The Reconstructibility of Finite Abelian Groups
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 867-892
-
- Article
- Export citation
On the Strong Chromatic Number
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 857-865
-
- Article
- Export citation
Families of Trees Decompose the Random Graph in an Arbitrary Way
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 893-910
-
- Article
- Export citation
New Bounds on Parent-Identifying Codes: The Case of Multiple Parents
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 795-807
-
- Article
- Export citation
Two Results on Real Zeros of Chromatic Polynomials
-
- Journal:
- Combinatorics, Probability and Computing / Volume 13 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 03 November 2004, pp. 809-813
-
- Article
- Export citation