14 results
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
Assessment of the growth in social groups for sustainable agriculture and land management
-
- Journal:
- Global Sustainability / Volume 3 / 2020
- Published online by Cambridge University Press:
- 07 August 2020, e23
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 990-1005
-
- Article
- Export citation
Mitochondrial D-loop DNA analyses of Norway lobster (Nephrops norvegicus) reveals genetic isolation between Atlantic and East Mediterranean populations
-
- Journal:
- Journal of the Marine Biological Association of the United Kingdom / Volume 99 / Issue 4 / June 2019
- Published online by Cambridge University Press:
- 26 October 2018, pp. 933-940
-
- Article
- Export citation
An iterative approach to precondition inference using constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 553-570
-
- Article
-
- You have access
- Export citation
Tree dimension in verification of constrained Horn clauses
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 2 / March 2018
- Published online by Cambridge University Press:
- 11 May 2018, pp. 224-251
-
- Article
- Export citation
Contributors
-
-
- Book:
- Case Studies in Pain Management
- Published online:
- 05 October 2014
- Print publication:
- 16 October 2014, pp xi-xv
-
- Chapter
- Export citation
DIVISION VIII: GALAXIES AND THE UNIVERSE
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 7 / Issue T28A / December 2011
- Published online by Cambridge University Press:
- 04 April 2012, pp. 253-254
- Print publication:
- December 2011
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- Handbook of Dialogical Self Theory
- Published online:
- 05 June 2012
- Print publication:
- 24 November 2011, pp x-xiii
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Capnography
- Published online:
- 05 August 2011
- Print publication:
- 17 March 2011, pp ix-xii
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Behavioral and Psychopharmacologic Pain Management
- Published online:
- 10 January 2011
- Print publication:
- 25 November 2010, pp ix-xii
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Cambridge Handbook of Situated Cognition
- Published online:
- 05 June 2012
- Print publication:
- 03 November 2008, pp ix-xii
-
- Chapter
- Export citation
DIVISION XII / COMMISSION 5 / WORKING GROUP DESIGNATIONS
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 3 / Issue T26B / December 2007
- Published online by Cambridge University Press:
- 18 November 2008, p. 217
- Print publication:
- December 2007
-
- Article
-
- You have access
- Export citation
Hydrogenated Amorphous Silicon Germanium Alloys Grown by the Hot-Wire Chemical Vapor Deposition Technique
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 507 / 1998
- Published online by Cambridge University Press:
- 10 February 2011, 447
- Print publication:
- 1998
-
- Article
- Export citation