Preface: Special issue of selected extended papers of CADE 2019

DOI10.1007/S10817-021-09601-3MaRDI QIDQ2051561zbMATH OpenOpenAlexFDO

Authors

Publication date 24 November 2021

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-021-09601-3

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Preface: Special issue of selected extended papers of CADE-23
• Preface: Selected extended papers of CADE 2015
• Preface. Special issue of selected extended papers of IJCAR 2014
• Foreword to the special issue on automated reasoning
• Preface of the special issue on the conference on computer-aided verification 2018

Cites work

• The CADE-27 automated theorem proving system competition -- CASC-27

Cited in

(5)

• Preface: Special issue of selected extended papers of CADE-23
• Preface: Selected extended papers of CADE 2015
• Preface. Special issue of selected extended papers of IJCAR 2014
• Foreword to the special issue on automated reasoning
• Preface. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday

This page was built for publication: Preface: Special issue of selected extended papers of CADE 2019

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051561)