Proceedings Fourth Workshop on Classical Logic and Computation
From MaRDI portal
Publication:3174692
DOI10.4204/EPTCS.97zbMath1391.03008arXiv1210.2890OpenAlexW2289826999MaRDI QIDQ3174692
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/1210.2890
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Combinatory logic and lambda calculus (03B40)
