Výsledky vyhľadávania - acm: f.: theory of computation/f.4: mathematik logic AND formal languages

Fragments of First-Order Logic over Infinite Words (Extended Abstract)

Autori: Diekert, Volker Kufleitner, Manfred Faculty of Informatics and Mathematics (FMI) a ďalší

Prispievatelia: Diekert, Volker Kufleitner, Manfred Faculty of Informatics and Mathematics (FMI) a ďalší

Zdroj: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
https://hal.inria.fr/inria-00359319
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.325-336

Predmety: infinite words, regular languages, first-order logic, automata theory, semigroups, topology, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Freiburg, Germany

Relation: inria-00359319; https://hal.inria.fr/inria-00359319; https://hal.inria.fr/inria-00359319/document; https://hal.inria.fr/inria-00359319/file/27-diekert.pdf

Dostupnosť: https://hal.inria.fr/inria-00359319
https://hal.inria.fr/inria-00359319/document
https://hal.inria.fr/inria-00359319/file/27-diekert.pdf