Search Sciweavers | Sciweavers

658 search results - page 32 / 132

» A Logic for Graphs with QoS

click to vote

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

14 years 3 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 3 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 2 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 2 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

click to vote

APN
2004
Springer

88views Artificial Intelligence» more APN 2004»

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers