Preface for the special issue of Proof, Structure, and Computation 2014

DOI10.1093/LOGCOM/EXW007zbMATH Open1444.00043OpenAlexW2439490573MaRDI QIDQ5225849FDOQ5225849

Authors:

Publication date: 29 July 2019

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exw007

Recommendations

• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
• Preface
• Proceedings of the fifth international workshop on classical logic and computation, CL\&C 2014, Vienna, Austria, July 13, 2014
• Preface. Special issue of selected extended papers of IJCAR 2014

Mathematics Subject Classification ID

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

Cited In (3)

• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
• Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018
• 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 for the special issue of Proof, Structure, and Computation 2014

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