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-642-31364-6

ISBN (Electronic): 978-3-642-31365-3

Publication date (Print): 2012

DOI: 10.1007/978-3-642-31365-3

SO-VID: 692cff84-72a4-40d3-a0fa-d5e933452562

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 9

Differential Game Logic
Authors:
A New Rule for LTL Tableaux
Authors: Mark Reynolds
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction
Authors: Shinnosuke Mizutani, Naoki Nishida

See all cited by

Automated Reasoning

Read this book at