hierarchical graph deﬁnitions

37

MST
2011

207views Hardware» more MST 2011»

Fixpoint Logics over Hierarchical Structures

13 years 7 months ago

Hierarchical graph deﬁnitions allow a modular description of graphs using modules for the speciﬁcation of repeated substructures. Beside this modularity, hierarchical graph de...

Stefan Göller, Markus Lohrey

claim paper

Read More »

41

click to vote

FSTTCS
2005
Springer

106views Software Engineering» more FSTTCS 2005»

Fixpoint Logics on Hierarchical Structures

14 years 6 months ago

Download www.informatik.uni-bremen.de

Hierarchical graph deﬁnitions allow a modular description of graphs using modules for the speciﬁcation of repeated substructures. Beside this modularity, hierarchical graph de�...

Stefan Göller, Markus Lohrey

claim paper

Read More »

40

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

14 years 6 months ago

Download www.informatik.uni-leipzig.de

Hierarchical graph deﬁnitions allow a modular description of graphs using modules for the speciﬁcation of repeated substructures. Beside this modularity, hierarchical graph de...

Markus Lohrey

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers