6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Preface
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp xi-xxii
-
- Chapter
- Export citation
References
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 524-543
-
- Chapter
- Export citation
Contents
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp vii-x
-
- Chapter
- Export citation
4 - Completeness
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 188-260
-
- Chapter
- Export citation
Dedication
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp v-vi
-
- Chapter
- Export citation
Appendix D - A Guide to the Literature
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 516-523
-
- Chapter
- Export citation
6 - Computability and Complexity
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 332-412
-
- Chapter
- Export citation
5 - Algebras and General Frames
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 261-331
-
- Chapter
- Export citation
7 - Extended Modal Logic
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 413-484
-
- Chapter
- Export citation
Index
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 547-554
-
- Chapter
- Export citation
1 - Basic Concepts
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 1-49
-
- Chapter
- Export citation
Appendix C - A Computational Toolkit
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 504-515
-
- Chapter
- Export citation
List of Notation
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 544-546
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp i-iv
-
- Chapter
- Export citation
Appendix A - A Logical Toolkit
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 485-496
-
- Chapter
- Export citation
Asymptotics of the Hurwitz Binomial Distribution Related to Mixed Poisson Galton–Watson Trees
-
- Journal:
- Combinatorics, Probability and Computing / Volume 10 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 203-211
-
- Article
- Export citation
A Characterization of GEM Distributions
-
- Journal:
- Combinatorics, Probability and Computing / Volume 10 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 213-217
-
- Article
- Export citation
Descent Functions and Random Young Tableaux
-
- Journal:
- Combinatorics, Probability and Computing / Volume 10 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 187-201
-
- Article
- Export citation
Structural Properties and Edge Choosability of Planar Graphs without 6-Cycles
-
- Journal:
- Combinatorics, Probability and Computing / Volume 10 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 267-276
-
- Article
- Export citation
A Combinatorial Approach to the Two-Sided Exit Problem for Left-Continuous Random Walks
-
- Journal:
- Combinatorics, Probability and Computing / Volume 10 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 25 June 2001, pp. 251-266
-
- Article
- Export citation