A Note on Undecidability of Observation Consistency for Non-Regular Language

Aus International Center for Computational Logic
Version vom 28. Oktober 2014, 16:41 Uhr von Long Cheng (Diskussion | Beiträge) (Automatically imported publication data from DBLP)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

A Note on Undecidability of Observation Consistency for Non-Regular Language

Tomáš MasopustTomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Language


Tomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Language
Technical Report, Technischen Universität Dresden, 2012
@techreport{M2012,
  author      = {Tom{\'{a}}{\v{s}} Masopust},
  title       = {A Note on Undecidability of Observation Consistency for
                 Non-Regular Language},
  institution = {Technischen Universit{\"{a}}t Dresden},
  year        = {2012}
}