Sciweavers

1742 search results - page 16 / 349
» An Applicative Module Calculus
Sort
View
FSTTCS
2005
Springer
14 years 3 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey