Monadic second-order logic for graphs : algorithmic and language theoretical applications
Résumé
Tutorial about the topics listed in the title
Communication Dans Un Congrès
Année : 2009
Bruno Courcelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00362832
Soumis le : jeudi 19 février 2009-14:42:53
Dernière modification le : lundi 15 avril 2024-11:25:23
Dates et versions
Identifiants
- HAL Id : hal-00362832 , version 1
Citer
Bruno Courcelle. Monadic second-order logic for graphs : algorithmic and language theoretical applications. Language Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.19-22. ⟨hal-00362832⟩
37
Consultations
0
Téléchargements