Monadic Second-Order Logic with Arbitrary Monadic Predicates - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Monadic Second-Order Logic with Arbitrary Monadic Predicates

Mots clés

Fichier non déposé

Dates et versions

hal-03410686 , version 1 (01-11-2021)

Identifiants

Citer

Nathanaël Fijalkow, Charles Paperman. Monadic Second-Order Logic with Arbitrary Monadic Predicates. Mathematical Foundations of Computer Science, MFCS, 2014, NA, France. ⟨10.1007/978-3-662-44522-8\_24⟩. ⟨hal-03410686⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More