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

Branching-time model checking of one-counter processes

Authors: Göller, Stefan Lohrey, Markus Fachbereich Mathematik und Informatik Bremen et al.

Contributors: Göller, Stefan Lohrey, Markus Fachbereich Mathematik und Informatik Bremen et al.

Source: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010
https://hal.inria.fr/inria-00455367
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.405-416

Subject Terms: model checking, computation tree logic, complexity theory, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.3: Complexity Measures and Classes, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Subject Geographic: Nancy, France

Relation: inria-00455367; https://hal.inria.fr/inria-00455367; https://hal.inria.fr/inria-00455367/document; https://hal.inria.fr/inria-00455367/file/goeller.pdf

Availability: https://hal.inria.fr/inria-00455367
https://hal.inria.fr/inria-00455367/document
https://hal.inria.fr/inria-00455367/file/goeller.pdf

Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

Authors: Kartzow, Alexander Fachbereich Mathematik Technische Universität Darmstadt (TU Darmstadt) et al.

Contributors: Kartzow, Alexander Fachbereich Mathematik Technische Universität Darmstadt (TU Darmstadt) et al.

Source: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010
https://hal.inria.fr/inria-00455744
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.501-512

Subject Terms: tree-automatic structures, collapsible pushdown graphs, collapsible pushdown systems, first-order decidability, reachability, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Subject Geographic: Nancy, France

Relation: inria-00455744; https://hal.inria.fr/inria-00455744; https://hal.inria.fr/inria-00455744/document; https://hal.inria.fr/inria-00455744/file/Kartzow.pdf

Availability: https://hal.inria.fr/inria-00455744
https://hal.inria.fr/inria-00455744/document
https://hal.inria.fr/inria-00455744/file/Kartzow.pdf