MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic and graphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

351 documents found, showing 1 through 10. Next 10 →

ATOM

Verifying a Behavioural Logic for Graph Transformation Systems
by Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König — 2004
…. Both can be found at the ENTCS Macro Home Page. Verifying a Behavioural Logic for Graph Transformation…
Cited by 7 (1 self) – Add To MetaCart

Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems
by Bruno Courcelle, Igor Walukiewicz, Universit'e Bordeaux I
…Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems Bruno Courcelle…
Cited by 21 (4 self) – Add To MetaCart

The monadic second-order logic of graphs XVI: Canonical graph decompositions
by Bruno Courcelle — 2006 — Logical Methods in Computer Science
…. 24, 2005 Published Mar. 23, 2006 THE MONADIC SECOND-ORDER LOGIC OF GRAPHS XVI: CANONICAL GRAPH…
Cited by 2 (2 self) – Add To MetaCart

Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
by Bruno Courcelle, Bruno Courcelle, Igor Walukiewicz, Igor Walukiewicz, Universit'e Bordeaux I — 1995 — Annals of Pure and Applied Logic
…BRICS Basic Research in Computer Science Monadic Second-Order Logic, Graphs and Unfoldings…
Cited by 2 (1 self) – Add To MetaCart

The Monadic Second-Order Logic Of Graphs XI: Hierarchical Decompositions Of Connected Graphs
by Bruno Courcelle
…1 THE MONADIC SECOND-ORDER LOGIC OF GRAPHS XI : HIERARCHICAL DECOMPOSITIONS OF CONNECTED GRAPHS (1…
Cited by 3 (2 self) – Add To MetaCart

The Monadic Second-Order Logic of Graphs XII : Planar graphs and planar maps
by Bruno Courcelle — 1998
…1 To the memory of F. Jaeger The Monadic Second-Order Logic of Graphs XII : Planar graphs…
Cited by 9 (4 self) – Add To MetaCart

The Monadic Second-Order Logic of Graphs XIII: Graph drawings with edge crossings
by Bruno Courcelle — 1998
…1 The Monadic Second-Order Logic of Graphs XIII: Graph drawings with edge crossings Bruno…
Cited by 1 (0 self) – Add To MetaCart

The Monadic Second-Order Logic of Graphs XIV: Uniformly sparse graphs and edge set quantifications
by Bruno Courcelle — 1999
…1 The Monadic Second-Order Logic of Graphs XIV: Uniformly sparse graphs and edge set…
Cited by 15 (2 self) – Add To MetaCart

The monadic second-order logic of graphs XV: On a Conjecture by D. Seese
by Bruno Courcelle — 2006 — Journal of Applied Logic
…The Monadic Second-Order Logic of Graphs XV: On a Conjecture by D. Seese Bruno Courcelle La…
Cited by 9 (4 self) – Add To MetaCart

On the Hierarchical Structure of the Logical Internet Graph
by Zihui Ge Daniel, Daniel R. Figueiredo, Sharad Jaiswal, Lixin Gao — 2001 — in Proc. SPIE ITCOM
…On the Hierarchical Structure of the Logical Internet Graph Zihui Ge, Daniel R. Figueiredo, Sharad…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB