Original languageEnglish
Title of host publicationDescriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings
PublisherSpringer Verlag
Pages262-273
Number of pages12
Volume10316 LNCS
ISBN (Print)9783319602516
DOIs
Publication statusPublished - 2017
Event19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017 - Milano, Italy
Duration: 3 Jul 20175 Jul 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10316 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference19th International Conference of Descriptional Complexity of Formal Systems, DCFS 2017
Country/TerritoryItaly
CityMilano
Period03/07/201705/07/2017

    WoS ResearchAreas Categories

  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • Logic

    ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

    Research areas

  • Ideal language, PSPACE-completeness, Reset complexity, Reset word, Synchronizing automaton

ID: 1977936