<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "On GS-Monoidal Theories for Graphs with Nesting"^^ . "We propose a sound and complete axiomatisation of a class of graphs with nesting and either locally or globally restricted nodes. Such graphs allow to represent explicitly and at the right level of abstraction some relevant topological and logical features of models and systems, including nesting, hierarchies, sharing of resources, and pointers or links. We also provide an encoding of the proposed algebra into terms of a gs-monoidal theory, and through these into a suitable class of wellscoped term graphs, showing that this encoding is sound and complete with respect to the axioms of the algebra.\r\n"^^ . "2010" . "5765" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Andrea"^^ . "Corradini"^^ . "Andrea Corradini"^^ . . "Wilhelm"^^ . "Schäfer"^^ . "Wilhelm Schäfer"^^ . . "Gregor"^^ . "Engels"^^ . "Gregor Engels"^^ . . "Bernhard"^^ . "Westfechtel"^^ . "Bernhard Westfechtel"^^ . . "Claus"^^ . "Lewerentz"^^ . "Claus Lewerentz"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Andy"^^ . "Schürr"^^ . "Andy Schürr"^^ . . . . . "HTML Summary of #142 \n\nOn GS-Monoidal Theories for Graphs with Nesting\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .