- Notice
Logique monadique du second-ordre
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Monadic Second Order
MSO
Monadic Second Order
MSO
Source(s) :
Logique : fondements et applications / S. Pinchinat, F. Schwarzentruber, P. Le Barbenchon, 2022 . - Graph structure and monadic second-order logic / B. Courcelle, J. Engelfriet, 2012
Logique : fondements et applications / S. Pinchinat, F. Schwarzentruber, P. Le Barbenchon, 2022 . - Graph structure and monadic second-order logic / B. Courcelle, J. Engelfriet, 2012
Domaine(s) : 510
Pas de correspondance :
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
- LCSH (Library of Congress Subject Headings)
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec))
Identifiant de la notice : ark:/12148/cb181095407
Notice n° :
FRBNF18109540
Création :
23/10/19
Mise à jour :
23/10/19