Journal of Automated Reasoning

, Volume 51, Issue 1, pp 1–2 | Cite as

Preface: Special Issue of Selected Extended Papers of CADE-23



Automate Reasoning Sequent Calculus Satisfiability Modulo Theory Automate Deduction Dependency Pair 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  • Nikolaj Bjørner
    • 1
  • Viorica Sofronie-Stokkermans
    • 2
    • 3
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Universität Koblenz-LandauKoblenzGermany
  3. 3.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations