Work

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-33475-7_22

Author: Colin Riba

Institutions: École Normale Supérieure de Lyon, Université de Lyon, Laboratoire de l'Informatique du Parallélisme

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W44837187

FWCI: 0.557

Cites: 16

Cited by: 9

Related to: 10