Volume 43, Issue 3

October 2009

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon / Guest Edited by Richard Boulton, Joe Hurd and Konrad Slind

5 articles in this issue

Computer Assisted Reasoning
Richard Boulton
Joe Hurd
Konrad Slind
OriginalPaper 24 July 2009 Pages: 237 - 242
Formalizing an Analytic Proof of the Prime Number Theorem
John Harrison
OriginalPaper 19 August 2009 Pages: 243 - 261
Mechanized Semantics for the Clight Subset of the C Language
Sandrine Blazy
Xavier Leroy
OriginalPaper 24 July 2009 Pages: 263 - 288
Social Choice Theory in HOL
Tobias Nipkow
OriginalPaper 01 August 2009 Pages: 289 - 304
Rewriting Conversions Implemented with Continuations
Michael Norrish
OriginalPaper 31 July 2009 Pages: 305 - 336

Search