13942 results in Mathematical physics
Concerning the packing dimension of intersection measures
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 121 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 287-296
- Print publication:
- March 1997
-
- Article
- Export citation
Cogrowth of groups and the Dedekind–Frobenius group determinant
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 121 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 193-217
- Print publication:
- March 1997
-
- Article
- Export citation
Operationally-Based Theories of Program Equivalence
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 241-298
-
- Chapter
- Export citation
Index
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 355-364
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp ix-xii
-
- Chapter
- Export citation
Computational Content of Classical Logic Thierry Coquand
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 33-78
-
- Chapter
- Export citation
Metalanguages and Applications
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 185-240
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp i-iv
-
- Chapter
- Export citation
Game Semantics
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 131-184
-
- Chapter
- Export citation
Contents
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp v-vi
-
- Chapter
- Export citation
List of Contributors
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp vii-viii
-
- Chapter
- Export citation
Semantics of Interaction: an Introduction to Game Semantics
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 1-32
-
- Chapter
- Export citation
Categories in Concurrency
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 299-354
-
- Chapter
- Export citation
Syntax and Semantics of Dependent Types
-
-
- Book:
- Semantics and Logics of Computation
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997, pp 79-130
-
- Chapter
- Export citation
Semantics and Logics of Computation
-
- Published online:
- 15 September 2009
- Print publication:
- 30 January 1997
Frontmatter
-
- Book:
- Thinking about Ordinary Differential Equations
- Published online:
- 05 June 2012
- Print publication:
- 13 January 1997, pp i-vi
-
- Chapter
- Export citation
2 - Linear second-order equations
-
- Book:
- Thinking about Ordinary Differential Equations
- Published online:
- 05 June 2012
- Print publication:
- 13 January 1997, pp 42-79
-
- Chapter
- Export citation
4 - Systems of linear differential equations
-
- Book:
- Thinking about Ordinary Differential Equations
- Published online:
- 05 June 2012
- Print publication:
- 13 January 1997, pp 133-175
-
- Chapter
- Export citation
Contents
-
- Book:
- Thinking about Ordinary Differential Equations
- Published online:
- 05 June 2012
- Print publication:
- 13 January 1997, pp vii-viii
-
- Chapter
- Export citation
1 - First-order equations
-
- Book:
- Thinking about Ordinary Differential Equations
- Published online:
- 05 June 2012
- Print publication:
- 13 January 1997, pp 1-41
-
- Chapter
- Export citation