<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "An Algebra of Hierarchical Graphs"^^ . "We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects.\r\n"^^ . "2010" . . "6084" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . "Martin"^^ . "Hofmann"^^ . "Martin Hofmann"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Axel"^^ . "Rauschmayer"^^ . "Axel Rauschmayer"^^ . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . . . . . "An Algebra of Hierarchical Graphs (PDF)"^^ . . . . . . . . . . . "bruni_gadducci_lluch-lafuente2010a.pdf"^^ . . . "An Algebra of Hierarchical Graphs (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "An Algebra of Hierarchical Graphs (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #144 \n\nAn Algebra of Hierarchical Graphs\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .