Logical methods in computer science, 2014-08, Vol.10, Issue 3
2014
Details
- Autor(en) / Beteiligte
- Titel
- Automata theory in nominal sets
- Ist Teil von
- Logical methods in computer science, 2014-08, Vol.10, Issue 3
- Ort / Verlag
- Logical Methods in Computer Science e.V
- Erscheinungsjahr
- 2014
- Link zum Volltext
- Quelle
- EZB Free E-Journals
- Beschreibungen/Notizen
- We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensuing automata theory, where the key role is played by an automorphism group of the alphabet. In the process, we generalize nominal sets due to Gabbay and Pitts.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 1860-5974eISSN: 1860-5974DOI: 10.2168/LMCS-10(3:4)2014Titel-ID: cdi_doaj_primary_oai_doaj_org_article_b8fb945443704b76a7ce3f27a5a7e7e7