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: Reachability Problems
    sub title: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
  name:
    name part: Potapov, Igor.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Reynier, Pierre-Alain.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXI, 161 p. 32 illus. online resource.
  abstract: This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.
  note: edited by Igor Potapov, Pierre-Alain Reynier.
  subject:
    topic: Computer logic
  subject:
    topic: Numerical analysis
  subject:
    topic: Computer science-Mathematics
  subject:
    topic: Mathematical statistics
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Numeric Computing
  subject:
    topic: Math Applications in Computer Science
  subject:
    topic: Probability and Statistics in Computer Science
  classification: QA76.9.L63
  classification: QA76.5913
  classification: 005.1015113
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Theoretical Computer Science and General Issues ; 11123
  identifier: 9783030002503
  identifier: https://doi.org/10.1007/978-3-030-00250-3
  record info:
    record creation date: 180829
    record change date: 20191026142201.0
    record identifier: 978-3-030-00250-3