38 results
An update and ecological perspective on certain sentinel helminth endoparasites within the Mediterranean Sea
-
- Journal:
- Parasitology / Volume 150 / Issue 12 / October 2023
- Published online by Cambridge University Press:
- 13 October 2023, pp. 1139-1157
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Molecular and morphological studies on Contracaecum rudolphii A and C. rudolphii B in great cormorants (Phalacrocorax carbo sinensis) from Italy and Israel
-
- Journal:
- Parasitology / Volume 150 / Issue 11 / September 2023
- Published online by Cambridge University Press:
- 21 September 2023, pp. 1040-1051
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On automorphisms and splittings of special groups
- Part of
-
- Journal:
- Compositio Mathematica / Volume 159 / Issue 2 / February 2023
- Published online by Cambridge University Press:
- 10 February 2023, pp. 232-305
- Print publication:
- February 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 4 / July 2022
- Published online by Cambridge University Press:
- 07 July 2022, pp. 555-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Axial Improvement after Casirivimab/Imdevimab Treatment for COVID-19 in Parkinson’s Disease
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 50 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 29 June 2022, pp. 777-778
-
- Article
-
- You have access
- HTML
- Export citation
Analysis and Transformation of Constrained Horn Clauses for Program Verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 15 November 2021, pp. 974-1042
-
- Article
-
- You have access
- Open access
- Export citation
Metacognitive Awareness in Cocaine Addiction (MACA): Rationale and Feasibility of an Integrated Intervention Program
-
- Journal:
- European Psychiatry / Volume 41 / Issue S1 / April 2017
- Published online by Cambridge University Press:
- 23 March 2020, pp. S200-S201
-
- Article
-
- You have access
- Export citation
Couple satisfaction and parenting stress in parents of children with ASD
-
- Journal:
- European Psychiatry / Volume 41 / Issue S1 / April 2017
- Published online by Cambridge University Press:
- 23 March 2020, p. S685
-
- Article
-
- You have access
- Export citation
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 27 May 2019, p. 629
-
- Article
-
- You have access
- Export citation
Molecular data show Clinostomoides Dollfus, 1950 is a junior synonym of Clinostomum Leidy, 1856, with redescription of metacercariae of Clinostomum brieni n. comb.
-
- Journal:
- Parasitology / Volume 146 / Issue 6 / May 2019
- Published online by Cambridge University Press:
- 14 January 2019, pp. 805-813
-
- Article
- Export citation
Solving Horn Clauses on Inductive Data Types Without Induction
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 452-469
-
- Article
-
- You have access
- Export citation
Predicate Pairing for program verification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 2 / March 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 126-166
-
- Article
- Export citation
Influence of childhood trauma on diagnosis and substance use in first-episode psychosis
-
- Journal:
- The British Journal of Psychiatry / Volume 211 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 02 January 2018, pp. 151-156
- Print publication:
- September 2017
-
- Article
-
- You have access
- HTML
- Export citation
A morphological and molecular study of Clinostomid metacercariae from African fish with a redescription of Clinostomum tilapiae
-
- Journal:
- Parasitology / Volume 144 / Issue 11 / September 2017
- Published online by Cambridge University Press:
- 27 June 2017, pp. 1519-1529
-
- Article
- Export citation
Proving correctness of imperative programs by linearizing constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 635-650
-
- Article
- Export citation
Caracterización de ovinos en el litoral sur del Perú
-
- Journal:
- Animal Genetic Resources/Resources génétiques animales/Recursos genéticos animales / Volume 56 / June 2015
- Published online by Cambridge University Press:
- 16 March 2015, pp. 55-62
- Print publication:
- June 2015
-
- Article
- Export citation
Evaluación del semen criopreservado de toros Curraleiro Pé Duro, perteneciente al Banco Brasilero de Germoplasma Animal
-
- Journal:
- Animal Genetic Resources/Resources génétiques animales/Recursos genéticos animales / Volume 54 / June 2014
- Published online by Cambridge University Press:
- 01 May 2014, pp. 135-140
- Print publication:
- June 2014
-
- Article
- Export citation
Dimensions of Familial Allocentrism in Brazilian Mothers from State Capitals and Small Cities
-
- Journal:
- The Spanish Journal of Psychology / Volume 16 / 2013
- Published online by Cambridge University Press:
- 09 July 2013, E44
-
- Article
- Export citation
Metacercariae of Clinostomum complanatum (Trematoda: Digenea) in European newts Triturus carnifex and Lissotriton vulgaris (Caudata: Salamandridae)
-
- Journal:
- Journal of Helminthology / Volume 88 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 18 March 2013, pp. 278-285
-
- Article
- Export citation
Generalization strategies for the verification of infinite state systems
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 175-199
-
- Article
- Export citation