5 found
Sort by:
Disambiguations:
Bruno Courcelle [3]B. Courcelle [2]
  1. B. Courcelle (2012). Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach. Cambridge University Press.
    Machine generated contents note: Foreword Maurice Nivat; Introduction; 1. Overview; 2. Graph algebras and widths of graphs; 3. Equational and recognizable sets in many-sorted algebras; 4. Equational and recognizable sets of graphs; 5. Monadic second-order logic; 6. Algorithmic applications; 7. Monadic second-order transductions; 8. Transductions of terms and words J. Engelfriet; 9. Relational structures; 10. Conclusion and open problems; References; Index.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. J. Avigad, B. Courcelle, I. Walukiewicz, D. W. Cunningham, T. Fernando, M. Forti & F. Honaell (1998). Hjorth, G., Kechris, AS and Louveau, A., Bore1 Equivalence. Annals of Pure and Applied Logic 92:297.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Bruno Courcelle & Igor Walukiewicz (1998). Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. Annals of Pure and Applied Logic 92 (1):35-62.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Bruno Courcelle (1995). The Monadic Second-Order Logic of Graphs VIII: Orientations. Annals of Pure and Applied Logic 72 (2):103-143.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Bruno Courcelle (1990). The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. Annals of Pure and Applied Logic 49 (3):193-255.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation