Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 4/2013

Content (3 Articles)

ExpTime Tableaux for Using Sound Global Caching

Rajeev Goré, Linh Anh Nguyen

A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions

David Sabel, Manfred Schmidt-Schauß

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis

Mar 13
Issue: 3/2013
Jun 13
Issue: 1/2013
Special Issue of Selected Extended Papers of CADE-23

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits