12 results
Typing of Leishmania isolates from vectors and leporids of the Madrid (Spain) outbreak
-
- Journal:
- Parasitology / Volume 151 / Issue 2 / February 2024
- Published online by Cambridge University Press:
- 18 December 2023, pp. 213-219
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Formalising nominal C-unification generalised with protected variables
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 3 / March 2021
- Published online by Cambridge University Press:
- 07 May 2021, pp. 286-311
-
- Article
- Export citation
Reproductive biology of the scalloped hammerhead (Sphyrna lewini) in the central-eastern Pacific Ocean
-
- Journal:
- Journal of the Marine Biological Association of the United Kingdom / Volume 101 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 11 March 2021, pp. 465-470
-
- Article
- Export citation
Strategic port graph rewriting: an interactive modelling framework
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 5 / May 2019
- Published online by Cambridge University Press:
- 02 August 2018, pp. 615-662
-
- Article
- Export citation
First record of Gorgona guitarfish, Rhinobatos prahli, from the Gulf of Tehuantepec, Mexican Pacific
-
- Journal:
- Marine Biodiversity Records / Volume 5 / August 2012
- Published online by Cambridge University Press:
- 23 February 2012, e6
- Print publication:
- August 2012
-
- Article
-
- You have access
- HTML
- Export citation
Embryonic bicephaly in the blue shark, Prionace glauca, from the Mexican Pacific Ocean
-
- Journal:
- Marine Biodiversity Records / Volume 4 / December 2011
- Published online by Cambridge University Press:
- 14 January 2011, e1
- Print publication:
- December 2011
-
- Article
- Export citation
First record of a morphological abnormality in the longtail stingray Dasyatis longa (Myliobatiformes: Dasyatidae) in the Gulf of California, Mexico
-
- Journal:
- Marine Biodiversity Records / Volume 2 / January 2009
- Published online by Cambridge University Press:
- 03 March 2009, e26
- Print publication:
- January 2009
-
- Article
- Export citation
Rewriting calculi, higher-order reductions and patterns: introduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 3 / June 2008
- Published online by Cambridge University Press:
- 01 June 2008, pp. 427-429
-
- Article
- Export citation
More developments in computational models: introduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 4 / August 2007
- Published online by Cambridge University Press:
- 01 August 2007, pp. 585-586
-
- Article
-
- You have access
- Export citation
Developments in computational models: introduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 4 / August 2006
- Published online by Cambridge University Press:
- 24 July 2006, pp. 553-555
-
- Article
-
- You have access
- Export citation
Type assignment and termination of interaction nets
-
- Journal:
- Mathematical Structures in Computer Science / Volume 8 / Issue 6 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, pp. 593-636
-
- Article
- Export citation
Modularity of strong normalization in the algebraic-λ-cube
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 6 / November 1997
- Published online by Cambridge University Press:
- 01 November 1997, pp. 613-660
-
- Article
-
- You have access
- Export citation