12 results
Horse welfare: A joint assessment of four categories of behavioural indicators using the AWIN protocol, scan sampling and surveys
-
- Journal:
- Animal Welfare / Volume 31 / Issue 4 / November 2022
- Published online by Cambridge University Press:
- 01 January 2023, pp. 455-466
-
- Article
-
- You have access
- Export citation
Eco-DREAMS-S: modelling the impact of climate change on milk performance in organic dairy farms
-
- Journal:
- Advances in Animal Biosciences / Volume 6 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 17 February 2015, pp. 21-23
- Print publication:
- March 2015
-
- Article
- Export citation
Local cycles and dynamical properties of Boolean networks
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 4 / May 2016
- Published online by Cambridge University Press:
- 20 November 2014, pp. 702-718
-
- Article
- Export citation
Part two - Refereed Articles
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp 189-190
-
- Chapter
- Export citation
List of contributors
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp ix-x
-
- Chapter
- Export citation
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
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
Linear Logic in Computer Science
-
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004
Contents
-
- Book:
- Linear Logic in Computer Science
- Published online:
- 17 May 2010
- Print publication:
- 15 November 2004, pp v-vi
-
- 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
Non-commutative logic II: sequent calculus and phase semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 277-312
-
- Article
- Export citation