Search Results - acm: f.: theory of computation/f.4: mathematik (logic OR login) AND formal languages~

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

Authors: Diekert, Volker Kufleitner, Manfred Faculty of Informatics and Mathematics (FMI) et al.

Contributors: Diekert, Volker Kufleitner, Manfred Faculty of Informatics and Mathematics (FMI) et al.

Source: 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

Subject Terms: 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]

Subject Geographic: 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

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