Communication Dans Un Congrès
Année : 2014
Nathanaël Fijalkow : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03410686
Soumis le : lundi 1 novembre 2021-13:35:08
Dernière modification le : jeudi 2 mai 2024-14:29:07
Dates et versions
Identifiants
- HAL Id : hal-03410686 , version 1
- DOI : 10.1007/978-3-662-44522-8\_24
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⟩
Collections
15
Consultations
0
Téléchargements