dblp.uni-trier.de www.uni-trier.de

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)