The language preservation problem is undecidable for parametric event-recording automata

Étienne André, Shang-Wei Lin. The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett., 136:17-20, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.