Sciweavers

2473 search results - page 35 / 495
» The Logic of Communication Graphs
Sort
View
JGAA
2006
85views more  JGAA 2006»
15 years 3 months ago
A Survey of the Algorithmic Properties of Simplicial, Upper Bound and Middle Graphs
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
130
Voted
FROCOS
2009
Springer
15 years 10 months ago
Combining Description Logics, Description Graphs, and Rules
Boris Motik
93
Voted
TAMC
2009
Springer
15 years 10 months ago
Constraints, Graphs, Algebra, Logic, and Complexity
Moshe Y. Vardi
100
Voted
VSTTE
2005
Springer
15 years 9 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...