Proceedings Fourth Workshop on Classical Logic and Computation

From MaRDI portal

Revision as of 05:32, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3174692

Jump to:navigation, search

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

Mathematics Subject Classification ID

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)

This page was built for publication: Proceedings Fourth Workshop on Classical Logic and Computation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3174692&oldid=16416463"