Logical Foundations of Computer Science (LFCS)
LFCS 2013: San Diego, CA, USA
Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7734 ISBN 978-3-642-35721-3 [ contents ]
LFCS 2009: Deerfield Beach, FL, USA
- Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5407 ISBN 978-3-540-92686-3 [ contents ]
LFCS 2007: New York, NY, USA
- Sergei N. Artëmov, Anil Nerode (Eds.): Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4514 ISBN 978-3-540-72732-3 [ contents ]
4. LFCS 1997: Yaroslavl, Russia
- Sergei I. Adian, Anil Nerode (Eds.): Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1234 ISBN 3-540-63045-7 [ contents ]
3. LFCS 1994: St. Petersburg, Russia
- Anil Nerode, Yuri Matiyasevich (Eds.): Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 813 ISBN 3-540-58140-5 [ contents ]
2. LFCS 1992: Tver, Russia
- Anil Nerode, Michael A. Taitslin (Eds.): Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science 620 ISBN 3-540-55707-5 [ contents ]
Logic at Botik 1989: Pereslav-Zalessky, USSR
- Albert R. Meyer, Michael A. Taitslin (Eds.): Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Springer 1989 Lecture Notes in Computer Science 363 ISBN 3-540-51237-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team