Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Bundy, Alan
2004.
Artificial Intelligence and Symbolic Computation.
Vol. 3249,
Issue. ,
p.
26.
Grov, Gudmund
2005.
Verifying the correctness of hume programs.
p.
444.
Korukhova, Yulia
2006.
Logics in Artificial Intelligence.
Vol. 4160,
Issue. ,
p.
242.
Johansson, Moa
Bundy, Alan
and
Dixon, Lucas
2006.
Reasoning, Action and Interaction in AI Theories and Systems.
Vol. 4155,
Issue. ,
p.
83.
Ireland, Andrew
2006.
Towards Automatic Assertion Refinement for Separation Logic.
p.
309.
Gedell, Tobias
and
Hähnle, Reiner
2006.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 4246,
Issue. ,
p.
332.
Klop, Jan Willem
van Oostrom, Vincent
and
de Vrijer, Roel
2006.
Algebra, Meaning, and Computation.
Vol. 4060,
Issue. ,
p.
541.
Gedell, Tobias
and
Hähnle, Reiner
2007.
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Vol. 4460,
Issue. ,
p.
138.
Korukhova, Yulia
2007.
An approach to automatic deductive synthesis of functional programs.
Annals of Mathematics and Artificial Intelligence,
Vol. 50,
Issue. 3-4,
p.
255.
Ireland, Andrew
Ellis, Bill J.
Cook, Andrew
Chapman, Roderick
and
Barnes, Janet
2007.
An Integrated Approach to High Integrity Software Verification.
Journal of Automated Reasoning,
Vol. 36,
Issue. 4,
p.
379.
Prince, Rawle
Ghani, Neil
and
McBride, Conor
2008.
Functional and Logic Programming.
Vol. 4989,
Issue. ,
p.
97.
Asperti, Andrea
Ricciotti, Wilmer
Sacerdoti Coen, Claudio
and
Tassi, Enrico
2009.
Theorem Proving in Higher Order Logics.
Vol. 5674,
Issue. ,
p.
84.
Johansson, Moa
Dixon, Lucas
and
Bundy, Alan
2010.
Verification, Induction, Termination Analysis.
Vol. 6463,
Issue. ,
p.
102.
Ireland, Andrew
Grov, Gudmund
and
Butler, Michael
2010.
Abstract State Machines, Alloy, B and Z.
Vol. 5977,
Issue. ,
p.
189.
Montano-Rivas, Omar
McCasland, Roy
Dixon, Lucas
and
Bundy, Alan
2010.
Advances in Artificial Intelligence.
Vol. 6437,
Issue. ,
p.
348.
Johansson, Moa
Dixon, Lucas
and
Bundy, Alan
2010.
Interactive Theorem Proving.
Vol. 6172,
Issue. ,
p.
291.
Johansson, Moa
Dixon, Lucas
and
Bundy, Alan
2011.
Conjecture Synthesis for Inductive Theories.
Journal of Automated Reasoning,
Vol. 47,
Issue. 3,
p.
251.
Dramnesc, Isabela
and
Jebelean, Tudor
2011.
Proof Techniques for Synthesis of Sorting Algorithms.
p.
101.
Maclean, Ewen
and
Ireland, Andrew
2011.
Formal Methods and Software Engineering.
Vol. 6991,
Issue. ,
p.
275.
Dennis, Louise Abigail
Green, Ian
and
Smaill, Alan
2011.
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.
Journal of Automated Reasoning,
Vol. 47,
Issue. 1,
p.
57.