登入選單
Google圖書搜尋
Recognizability and Second-order Definability for ...
作者
B. Courcelle
出版1986
ISBN
OCLC:897689445
An Axiomatic Definition of Context-free Rewriting ...
作者
B. Courcelle
出版1987
ISBN
OCLC:897732745
An Algebraic Theory of Graph Reduction
作者
B. Courcelle / S. Arnborg / A. Proskurowski
出版1990
ISBN
OCLC:897673328
Graph Expressions and Graph Rewritings
作者
M. Bauderon / B. Courcelle
出版1985
ISBN
OCLC:897693309
Equivalences and Transformations of Regular System...
作者
B. Courcelle
出版1984
ISBN
OCLC:897697106
The Monadic Second-order Logic of Graphs
作者
B. Courcelle
出版1988
ISBN
OCLC:897665352
Monadic Second-order Evaluations on Tree-decomposa...
作者
B. Courcelle / M. Mosbah
出版1992
ISBN
OCLC:897922940
On the Structure of Context-free Sets of Graphs Ge...
作者
B. Courcelle
出版1991
ISBN
OCLC:897934164
On Some Sets of Countable Graphs Having a Decidabl...
作者
B. Courcelle
出版1987
ISBN
OCLC:897680732
Graph Structure and Monadic Second-Order Logic
作者
Professor Bruno Courcelle / Associate Professor Joost Engelfriet
出版2013-08-14
ISBN
1299773206 / 9781299773202
Semantics and axiomatics of a simple recursive lan...
作者
Institut de recherche d'informatique et d'automatique / B. Courcelle / J. Vuillemin
出版1974
ISBN
OCLC:461708438
Graph Structure and Monadic Second-Order Logic
作者
Bruno Courcelle. Joost Engelfriet
出版2012
ISBN
113963786X / 9781139637862
A Logical Characterization of the Sets of Hypergra...
作者
B. Courcelle / J. Engelfriet
出版1991
ISBN
OCLC:897951820
Recursive Schemes Algebraic Trees and Deterministi...
作者
Bruno Courcelle
出版1974
ISBN
OCLC:257867634
A Note on the Computability of Graph Minor Obstruc...
作者
B. Courcelle / Rod Downey / Michael Ralph Fellows / Victoria University of Wellington. School of Mathematical and Computing Sciences
出版1997
ISBN
OCLC:154677875
主題
Graph theory
Graph-transformations in Computer Science
作者
B. Courcelle / E. G. Rozenberg / H. J. Schneider
出版1993
ISBN
OCLC:897903606
Completude d'un systeme formel pour prouver l'equi...
作者
Institut de recherche d'informatique et d'automatique / B. Courcelle / J. Vuillemin
出版1974
ISBN
OCLC:123313768