FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563181597> ?p ?o ?g. }

• W1563181597 abstract "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 well-scoped term graphs, showing that this encoding is sound and complete with respect to the axioms of the algebra." @default.
• W1563181597 created "2016-06-24" @default.
• W1563181597 creator A5037127043 @default.
• W1563181597 creator A5054527006 @default.
• W1563181597 creator A5061468940 @default.
• W1563181597 creator A5062051157 @default.
• W1563181597 creator A5072444101 @default.
• W1563181597 date "2010-01-01" @default.
• W1563181597 modified "2023-10-01" @default.
• W1563181597 title "On GS-Monoidal Theories for Graphs with Nesting" @default.
• W1563181597 cites W1480378822 @default.
• W1563181597 cites W1492982544 @default.
• W1563181597 cites W1494795714 @default.
• W1563181597 cites W1542911159 @default.
• W1563181597 cites W1557619244 @default.
• W1563181597 cites W1567020636 @default.
• W1563181597 cites W1969001723 @default.
• W1563181597 cites W1970645772 @default.
• W1563181597 cites W1984882019 @default.
• W1563181597 cites W1989969984 @default.
• W1563181597 cites W2032050457 @default.
• W1563181597 cites W2064650227 @default.
• W1563181597 cites W2065340550 @default.
• W1563181597 cites W2075050099 @default.
• W1563181597 cites W2111587608 @default.
• W1563181597 cites W2113463646 @default.
• W1563181597 cites W2145270986 @default.
• W1563181597 doi "https://doi.org/10.1007/978-3-642-17322-6_4" @default.
• W1563181597 hasPublicationYear "2010" @default.
• W1563181597 type Work @default.
• W1563181597 sameAs 1563181597 @default.
• W1563181597 citedByCount "5" @default.
• W1563181597 countsByYear W15631815972014 @default.
• W1563181597 countsByYear W15631815972015 @default.
• W1563181597 crossrefType "book-chapter" @default.
• W1563181597 hasAuthorship W1563181597A5037127043 @default.
• W1563181597 hasAuthorship W1563181597A5054527006 @default.
• W1563181597 hasAuthorship W1563181597A5061468940 @default.
• W1563181597 hasAuthorship W1563181597A5062051157 @default.
• W1563181597 hasAuthorship W1563181597A5072444101 @default.
• W1563181597 hasConcept C111472728 @default.
• W1563181597 hasConcept C118615104 @default.
• W1563181597 hasConcept C124304363 @default.
• W1563181597 hasConcept C125411270 @default.
• W1563181597 hasConcept C136119220 @default.
• W1563181597 hasConcept C138885662 @default.
• W1563181597 hasConcept C154945302 @default.
• W1563181597 hasConcept C167729594 @default.
• W1563181597 hasConcept C191897082 @default.
• W1563181597 hasConcept C192562407 @default.
• W1563181597 hasConcept C202444582 @default.
• W1563181597 hasConcept C2524010 @default.
• W1563181597 hasConcept C2776937656 @default.
• W1563181597 hasConcept C2777212361 @default.
• W1563181597 hasConcept C33923547 @default.
• W1563181597 hasConcept C41008148 @default.
• W1563181597 hasConcept C80444323 @default.
• W1563181597 hasConceptScore W1563181597C111472728 @default.
• W1563181597 hasConceptScore W1563181597C118615104 @default.
• W1563181597 hasConceptScore W1563181597C124304363 @default.
• W1563181597 hasConceptScore W1563181597C125411270 @default.
• W1563181597 hasConceptScore W1563181597C136119220 @default.
• W1563181597 hasConceptScore W1563181597C138885662 @default.
• W1563181597 hasConceptScore W1563181597C154945302 @default.
• W1563181597 hasConceptScore W1563181597C167729594 @default.
• W1563181597 hasConceptScore W1563181597C191897082 @default.
• W1563181597 hasConceptScore W1563181597C192562407 @default.
• W1563181597 hasConceptScore W1563181597C202444582 @default.
• W1563181597 hasConceptScore W1563181597C2524010 @default.
• W1563181597 hasConceptScore W1563181597C2776937656 @default.
• W1563181597 hasConceptScore W1563181597C2777212361 @default.
• W1563181597 hasConceptScore W1563181597C33923547 @default.
• W1563181597 hasConceptScore W1563181597C41008148 @default.
• W1563181597 hasConceptScore W1563181597C80444323 @default.
• W1563181597 hasLocation W15631815971 @default.
• W1563181597 hasOpenAccess W1563181597 @default.
• W1563181597 hasPrimaryLocation W15631815971 @default.
• W1563181597 hasRelatedWork W1578757654 @default.
• W1563181597 hasRelatedWork W1791025316 @default.
• W1563181597 hasRelatedWork W1845000419 @default.
• W1563181597 hasRelatedWork W195403090 @default.
• W1563181597 hasRelatedWork W2053602017 @default.
• W1563181597 hasRelatedWork W2057121318 @default.
• W1563181597 hasRelatedWork W2086295015 @default.
• W1563181597 hasRelatedWork W2244686983 @default.
• W1563181597 hasRelatedWork W2267608904 @default.
• W1563181597 hasRelatedWork W2312709976 @default.
• W1563181597 hasRelatedWork W2468401033 @default.
• W1563181597 hasRelatedWork W2487251279 @default.
• W1563181597 hasRelatedWork W2799039080 @default.
• W1563181597 hasRelatedWork W2799122561 @default.
• W1563181597 hasRelatedWork W2903574931 @default.
• W1563181597 hasRelatedWork W2913680752 @default.
• W1563181597 hasRelatedWork W2936310910 @default.
• W1563181597 hasRelatedWork W2950163139 @default.
• W1563181597 hasRelatedWork W2964094985 @default.
• W1563181597 hasRelatedWork W3139046154 @default.
• W1563181597 isParatext "false" @default.
• W1563181597 isRetracted "false" @default.
• W1563181597 magId "1563181597" @default.

• next