Volume 50, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 50, Issue 4

April 2013

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

ExpTime Tableaux for Using Sound Global Caching
Rajeev Goré
Linh Anh Nguyen
OriginalPaper 10 December 2011 Pages: 355 - 381
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
David Sabel
Manfred Schmidt-Schauß
OriginalPaper 08 June 2012 Pages: 383 - 421
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
Sylvie Boldo
François Clément
Pierre Weis
OriginalPaper 14 August 2012 Pages: 423 - 456