Volume 43, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 43, Issue 4

December 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

The TPTP Problem Library and Associated Infrastructure
Geoff Sutcliffe
OriginalPaper 22 July 2009 Pages: 337 - 362
A Formally Verified Compiler Back-end
Xavier Leroy
OriginalPaper 04 November 2009 Pages: 363 - 446