Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings

DOI10.1007/978-3-319-72056-2zbMATH Open1383.03005OpenAlexW4300724905MaRDI QIDQ1691440

Author name not available (Why is that?)

Publication date: 16 January 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-72056-2

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)

Recommendations

• Special issue: Logical foundations of computer science (LFCS 2009). Selected papers based on the presentations at the symposium, Deerfield Beach, Florida, USA, January 3--6, 2009 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10--13, 2022. Proceedings 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6--8, 2013. Proceedings 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3--6, 2009. Proceedings 👍 👎
• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings 👍 👎
• Logical foundations of computer science. Tver '92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings 👍 👎
• Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04--07, 2020. Proceedings 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4--7, 2016. Proceedings 👍 👎
• Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4--7, 2007. Proceedings. 👍 👎

This page was built for publication: Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1691440)