Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6--8, 2013. Proceedings
From MaRDI portal
Publication:888562
DOI10.1007/978-3-642-35722-0zbMath1322.03004OpenAlexW4302765285MaRDI QIDQ888562
No author found.
Publication date: 30 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0
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)
Related Items (1)
This page was built for publication: Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6--8, 2013. Proceedings
