rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Implementation and Application of Automata
    sub title: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
  name:
    name part: Konstantinidis, Stavros.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 358 p. 78 illus. online resource.
  abstract: This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
  table of contents: Complexity of automata -- Compressed automata -- Counter automata -- Dictionary matching -- Edit distance -- Homing sequences -- Implementation -- Minimization of automata -- Model checking -- Parsing of regular expressions -- Partial word automata -- Picture languages -- Pushdown automata -- Queue automata -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata -- Weighted automata -- XML streams.
  note: edited by Stavros Konstantinidis.
  subject:
    topic: Computer science
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Computers
  subject:
    topic: Algorithms
  subject:
    topic: Mathematical logic
  subject:
    topic: Information storage and retrieval
  subject:
    topic: Bioinformatics
  subject:
    topic: Computer Science
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Algorithm Analysis and Problem Complexity
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Computational Biology/Bioinformatics
  subject:
    topic: Data Structures
  subject:
    topic: Information Storage and Retrieval
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 7982
  identifier: 9783642392740
  identifier: http://dx.doi.org/10.1007/978-3-642-39274-0
  record info:
    record creation date: 130711
    record change date: 20151031021110.0
    record identifier: 978-3-642-39274-0