---
_id: '2292'
abstract:
- lang: eng
  text: This book constitutes the thoroughly refereed conference proceedings of the
    38th International Symposium on Mathematical Foundations of Computer Science,
    MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full
    papers presented together with six invited talks were carefully selected from
    191 submissions. Topics covered include algorithmic game theory, algorithmic learning
    theory, algorithms and data structures, automata, formal languages, bioinformatics,
    complexity, computational geometry, computer-assisted reasoning, concurrency theory,
    databases and knowledge-based systems, foundations of computing, logic in computer
    science, models of computation, semantics and verification of programs, and theoretical
    issues in artificial intelligence.
alternative_title:
- LNCS
citation:
  ama: Chatterjee K, Sgall J, eds. <i>Mathematical Foundations of Computer Science
    2013</i>. Vol 8087. Springer; 2013:VI-854. doi:<a href="https://doi.org/10.1007/978-3-642-40313-2">10.1007/978-3-642-40313-2</a>
  apa: 'Chatterjee, K., &#38; Sgall, J. (Eds.). (2013). <i>Mathematical Foundations
    of Computer Science 2013</i> (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical
    Foundations of Computer Science, Klosterneuburg, Austria: Springer. <a href="https://doi.org/10.1007/978-3-642-40313-2">https://doi.org/10.1007/978-3-642-40313-2</a>'
  chicago: Chatterjee, Krishnendu, and Jiri Sgall, eds. <i>Mathematical Foundations
    of Computer Science 2013</i>. Vol. 8087. Lecture Notes in Computer Science. Springer,
    2013. <a href="https://doi.org/10.1007/978-3-642-40313-2">https://doi.org/10.1007/978-3-642-40313-2</a>.
  ieee: K. Chatterjee and J. Sgall, Eds., <i>Mathematical Foundations of Computer
    Science 2013</i>, vol. 8087. Springer, 2013, p. VI-854.
  ista: Chatterjee K, Sgall J eds. 2013. Mathematical Foundations of Computer Science
    2013, Springer,p.
  mla: Chatterjee, Krishnendu, and Jiri Sgall, editors. <i>Mathematical Foundations
    of Computer Science 2013</i>. Vol. 8087, Springer, 2013, p. VI-854, doi:<a href="https://doi.org/10.1007/978-3-642-40313-2">10.1007/978-3-642-40313-2</a>.
  short: K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science
    2013, Springer, 2013.
conference:
  end_date: 2013-08-30
  location: Klosterneuburg, Austria
  name: 'MFCS: Mathematical Foundations of Computer Science'
  start_date: 2013-08-26
date_created: 2018-12-11T11:56:48Z
date_published: 2013-08-08T00:00:00Z
date_updated: 2020-08-11T10:09:45Z
day: '08'
department:
- _id: KrCh
doi: 10.1007/978-3-642-40313-2
editor:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Jiri
  full_name: Sgall, Jiri
  last_name: Sgall
intvolume: '      8087'
language:
- iso: eng
month: '08'
oa_version: None
page: VI - 854
publication_identifier:
  isbn:
  - 978-3-642-40312-5
publication_status: published
publisher: Springer
publist_id: '4636'
quality_controlled: '1'
scopus_import: 1
series_title: Lecture Notes in Computer Science
status: public
title: Mathematical Foundations of Computer Science 2013
type: conference_editor
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8087
year: '2013'
...