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/2010

Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning / Guest Edited by Alessandro Armando, Peter Baumgartner and Gilles Dowek

Content (5 Articles)

Preface

Alessandro Armando, Peter Baumgartner, Gilles Dowek

Automata-Based Axiom Pinpointing

Franz Baader, Rafael Peñaloza

Quantitative Separation Logic and Programs with Lists

Marius Bozga, Radu Iosif, Swann Perarnau

A Framework for Proof Systems

Vivek Nigam, Dale Miller

Linear Quantifier Elimination

Tobias Nipkow

Jun 10
Issue: 1/2010
Special Issue: Uncertain Reasoning / Guest Edited by Yang Xiang and Kevin Grant
Oct 10
Issue: 3/2010

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits