25 results
Transformation-Enabled Precondition Inference
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 23 September 2021, pp. 700-716
-
- Article
- Export citation
Water Management and Monitoring Practices in Hospitals—United States, 2018
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 41 / Issue S1 / October 2020
- Published online by Cambridge University Press:
- 02 November 2020, pp. s83-s84
- Print publication:
- October 2020
-
- Article
-
- You have access
- 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
List of Illustrations
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp viii-viii
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp xv-xvi
-
- Chapter
- Export citation
Contributors
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp ix-xi
-
- Chapter
- Export citation
The Charlemagne Legend in Medieval Latin Texts
-
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016
Index
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp 231-241
-
- Chapter
- Export citation
List of Abbreviations
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp xvii-xviii
-
- Chapter
- Export citation
Dedication
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp v-v
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp i-iv
-
- Chapter
- Export citation
Miscellaneous Endmatter
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp 242-242
-
- Chapter
- Export citation
Contents
-
- Book:
- The Charlemagne Legend in Medieval Latin Texts
- Published by:
- Boydell & Brewer
- Published online:
- 25 October 2017
- Print publication:
- 21 October 2016, pp vi-vii
-
- Chapter
- Export citation
Isolation of Bartonella henselae, Bartonella koehlerae subsp. koehlerae, Bartonella koehlerae subsp. bothieri and a new subspecies of B. koehlerae from free-ranging lions (Panthera leo) from South Africa, cheetahs (Acinonyx jubatus) from Namibia and captive cheetahs from California
-
- Journal:
- Epidemiology & Infection / Volume 144 / Issue 15 / November 2016
- Published online by Cambridge University Press:
- 25 July 2016, pp. 3237-3243
-
- Article
-
- You have access
- HTML
- Export citation
Horn clauses as an intermediate representation for program analysis and transformation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 526-542
-
- Article
-
- You have access
- Export citation
Stable model semantics for founded bounds
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 517-532
-
- Article
- Export citation
Failure tabled constraint logic programming by interpolation*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 593-607
-
- Article
- Export citation
HM(X) type inference is CLP(X) solving
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
Constraint Logic Programming using ECLiPSeKrzysztof Apt and Mark Wallace Cambridge University Press, 2007 Hardback: ISBN 9780521866286, Price: £35, 348 pages.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 242-246
-
- Article
- Export citation
Logic programming with satisfiability
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 121-128
-
- Article
- Export citation