1. Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. (2017) Editors: Artemov, S. N; Nerode, Anil, 1932- Other Names: LFCS (Symposium) Record Type: Book Extent: 1 online resource (369 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. ([2015]) Other Names: Artemov, S. N; Nerode, Anil, 1932-; LFCS (Symposium) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings /: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings. (2020) Editors: Artemov, S. N; Nerode, Anil, 1932- Other Names: LFCS (Symposium) Record Type: Book Extent: 1 online resource (x, 287 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗