Preface: Special issue of selected extended papers of CADE 2019

DOI10.1007/S10817-021-09601-3zbMATH Open1475.00101OpenAlexW3177192283MaRDI QIDQ2051561FDOQ2051561

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

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

Mathematics Subject Classification ID

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

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
• Preface. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday
• Foreword to the special issue on automated reasoning

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)