Search Sciweavers | Sciweavers

2473 search results - page 35 / 495

» The Logic of Communication Graphs

click to vote

JGAA
2006

85views more JGAA 2006»

A Survey of the Algorithmic Properties of Simplicial, Upper Bound and Middle Graphs

13 years 7 months ago

Download jgaa.info

Three classes of graphs, simplicial, upper bound, and middle graphs, have been known for some time, but many of their algorithmic properties have not been published. The definitio...

Grant A. Cheston, Tjoen Seng Jap

claim paper

Read More »

click to vote

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

14 years 2 months ago

Download disi.unitn.it

Boris Motik

claim paper

Read More »

click to vote

TAMC
2009
Springer

88views Applied Computing» more TAMC 2009»

Constraints, Graphs, Algebra, Logic, and Complexity

14 years 2 months ago

Download www.cs.bgu.ac.il

Moshe Y. Vardi

claim paper

Read More »

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

14 years 1 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers