Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3--6, 2009. Proceedings

DOI10.1007/978-3-540-92687-0zbMath1156.03004OpenAlexW13469394MaRDI QIDQ1002112

No author found.

Publication date: 24 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0

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)

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