Matches in SemOpenAlex for { <https://semopenalex.org/work/W2620943101> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2620943101 abstract "We study a generalisation of relation algebras in which the underlying Boolean algebra structure is replaced with a Stone algebra. Many theorems of relation algebras generalise with no or small changes. Weighted graphs represented as matrices over extended real numbers form an instance. Relational concepts and methods can thus be applied to weighted graphs. All results are formally verified in Isabelle/HOL." @default.
- W2620943101 created "2017-06-09" @default.
- W2620943101 creator A5071961816 @default.
- W2620943101 date "2017-01-01" @default.
- W2620943101 modified "2023-09-28" @default.
- W2620943101 title "Stone Relation Algebras." @default.
- W2620943101 hasPublicationYear "2017" @default.
- W2620943101 type Work @default.
- W2620943101 sameAs 2620943101 @default.
- W2620943101 citedByCount "0" @default.
- W2620943101 crossrefType "journal-article" @default.
- W2620943101 hasAuthorship W2620943101A5071961816 @default.
- W2620943101 hasConcept C10021369 @default.
- W2620943101 hasConcept C10282146 @default.
- W2620943101 hasConcept C118615104 @default.
- W2620943101 hasConcept C136119220 @default.
- W2620943101 hasConcept C14394260 @default.
- W2620943101 hasConcept C17435882 @default.
- W2620943101 hasConcept C202444582 @default.
- W2620943101 hasConcept C207764348 @default.
- W2620943101 hasConcept C2524010 @default.
- W2620943101 hasConcept C25343380 @default.
- W2620943101 hasConcept C33923547 @default.
- W2620943101 hasConcept C39685927 @default.
- W2620943101 hasConcept C41008148 @default.
- W2620943101 hasConcept C45503250 @default.
- W2620943101 hasConcept C5655090 @default.
- W2620943101 hasConcept C77088390 @default.
- W2620943101 hasConcept C81518389 @default.
- W2620943101 hasConcept C95916125 @default.
- W2620943101 hasConceptScore W2620943101C10021369 @default.
- W2620943101 hasConceptScore W2620943101C10282146 @default.
- W2620943101 hasConceptScore W2620943101C118615104 @default.
- W2620943101 hasConceptScore W2620943101C136119220 @default.
- W2620943101 hasConceptScore W2620943101C14394260 @default.
- W2620943101 hasConceptScore W2620943101C17435882 @default.
- W2620943101 hasConceptScore W2620943101C202444582 @default.
- W2620943101 hasConceptScore W2620943101C207764348 @default.
- W2620943101 hasConceptScore W2620943101C2524010 @default.
- W2620943101 hasConceptScore W2620943101C25343380 @default.
- W2620943101 hasConceptScore W2620943101C33923547 @default.
- W2620943101 hasConceptScore W2620943101C39685927 @default.
- W2620943101 hasConceptScore W2620943101C41008148 @default.
- W2620943101 hasConceptScore W2620943101C45503250 @default.
- W2620943101 hasConceptScore W2620943101C5655090 @default.
- W2620943101 hasConceptScore W2620943101C77088390 @default.
- W2620943101 hasConceptScore W2620943101C81518389 @default.
- W2620943101 hasConceptScore W2620943101C95916125 @default.
- W2620943101 hasLocation W26209431011 @default.
- W2620943101 hasOpenAccess W2620943101 @default.
- W2620943101 hasPrimaryLocation W26209431011 @default.
- W2620943101 hasRelatedWork W1492348087 @default.
- W2620943101 hasRelatedWork W1507775605 @default.
- W2620943101 hasRelatedWork W1521961376 @default.
- W2620943101 hasRelatedWork W1526036319 @default.
- W2620943101 hasRelatedWork W1564506262 @default.
- W2620943101 hasRelatedWork W1593607543 @default.
- W2620943101 hasRelatedWork W179988417 @default.
- W2620943101 hasRelatedWork W1971226702 @default.
- W2620943101 hasRelatedWork W1981329023 @default.
- W2620943101 hasRelatedWork W1981419337 @default.
- W2620943101 hasRelatedWork W2014676306 @default.
- W2620943101 hasRelatedWork W2038058391 @default.
- W2620943101 hasRelatedWork W2184191989 @default.
- W2620943101 hasRelatedWork W2205910441 @default.
- W2620943101 hasRelatedWork W2762406781 @default.
- W2620943101 hasRelatedWork W2964277275 @default.
- W2620943101 hasRelatedWork W2979514538 @default.
- W2620943101 hasRelatedWork W3083029275 @default.
- W2620943101 hasRelatedWork W3157162749 @default.
- W2620943101 hasRelatedWork W2395490114 @default.
- W2620943101 hasVolume "2017" @default.
- W2620943101 isParatext "false" @default.
- W2620943101 isRetracted "false" @default.
- W2620943101 magId "2620943101" @default.
- W2620943101 workType "article" @default.