Skip to main content

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

This is a preview of subscription content, access via your institution.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Viorica Sofronie-Stokkermans.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Bjørner, N., Sofronie-Stokkermans, V. Preface: Special Issue of Selected Extended Papers of CADE-23. J Autom Reasoning 51, 1–2 (2013). https://doi.org/10.1007/s10817-013-9282-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10817-013-9282-9

Keywords

  • Automate Reasoning
  • Sequent Calculus
  • Satisfiability Modulo Theory
  • Automate Deduction
  • Dependency Pair