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 2/2015

Content (3 Articles)

Open Access

Labelings for Decreasing Diagrams

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

Verified Compilation of Floating-Point Computations

Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond

On the Fine-Structure of Regular Algebra

Simon Foster, Georg Struth

Jan 15
Issue: 1/2015
Mar 15
Issue: 3/2015

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits