External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: lfcs2013

Editors

Sergei N. Artëmov

This author has not been identified. Look up 'Sergei N. Artëmov' in Google

Anil Nerode

This author has not been identified. Look up 'Anil Nerode' in Google
runs on