Sciweavers

9532 search results - page 58 / 1907
» Logic, Graphs, and Algorithms
Sort
View
67
Voted
TAMC
2009
Springer
15 years 5 months ago
Constraints, Graphs, Algebra, Logic, and Complexity
Moshe Y. Vardi
VSTTE
2005
Springer
15 years 4 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...