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

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

Author name not available (Why is that?)

Publication date: 29 July 2019

Published in: (Search for Journal in Brave)

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

Mathematics Subject Classification ID

No records found.

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)