Proceedings Third International Workshop on Classical Logic and Computation
From MaRDI portal
Publication:3174683
DOI10.4204/EPTCS.47zbMath1391.03011arXiv1101.5200OpenAlexW1548968919MaRDI QIDQ3174683
No author found.
Publication date: 17 July 2018
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1101.5200
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)
