Logical Foundations of Computer Science (LFCS)
www.lfcs.info
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.
Lecture Notes in Computer Science 5407 Springer 2009, ISBN 978-3-540-92686-3
Contents BibTeX
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.
Lecture Notes in Computer Science 4514 Springer 2007, ISBN 978-3-540-72732-3
Contents BibTeX
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.
Lecture Notes in Computer Science 1234 Springer 1997, ISBN 3-540-63045-7
Contents BibTeX
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.
Lecture Notes in Computer Science 813 Springer 1994, ISBN 3-540-58140-5
Contents BibTeX
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.
Lecture Notes in Computer Science 620 Springer 1992, ISBN 3-540-55707-5
Contents BibTeX
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.
Lecture Notes in Computer Science 363 Springer 1989, ISBN 3-540-51237-3
Contents BibTeX
Copyright © Sat May 16 23:28:44 2009
by Michael Ley (ley@uni-trier.de)
