Automated Reasoning

other

Editor(s): Stéphane Demri , Deepak Kapur , Christoph Weidenbach

Publication date (Print): 2014

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-319-08586-9

ISBN (Electronic): 978-3-319-08587-6

Publication date (Print): 2014

DOI: 10.1007/978-3-319-08587-6

SO-VID: 128d0d61-76ce-4ed2-89d2-3434bc4c0f22

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Fast Cut-Elimination using Proof Terms: An Empirical Study
Authors: Gabriel Ebner
Explicit Auditing
Authors: James Cheney, Wilmer Ricciotti

See all cited by