yr 〜
yr

Search results 4

Graph structure and monadic second-order logic : a language-theoretic approach (Encyclopedia of mathematics and its applications ; 138)

Graph structure and monadic second-order logic : a language-theoretic approach (Encyclopedia of mathematics and its applications ; 138)
Paper図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
National Diet LibraryOther Libraries in Japan
  • Author HeadingCourcelle, B. Engelfriet, Joost.

Graph structure and monadic second-order logic : a language-theoretic approach : hardback

Graph structure and monadic second-order logic : a language-theoretic approach : hardback
Paper図書
Bruno Courcelle, Joost EngelfrietCambridge University Press2012
Other Libraries in Japan
  • Author HeadingCourcelle, B. Engelfriet, Joost

Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings]

Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings]
Paper図書
edited by B. CourcelleCambridge University Press1984
Other Libraries in Japan
  • Author HeadingColloquium on Trees in Algebra and Programming Courcelle, B.

Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples

Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
Paper図書
B. Courcelle, G. Kahn, J. VuilleminInstitut de Recherche d'Informatique et d'Automatique1973]
Other Libraries in Japan
  • Author HeadingCourcelle, B. Kahn, G. Vuillemin, Jean

Reached to the end of result.