Matches in SemOpenAlex for { <https://semopenalex.org/work/W3173255320> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3173255320 abstract "Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic programs and their partial correctness. Demonic calculus, introduced to model the behaviour of a machine where the demon is in control of nondeterminism, has also provided us with an extension of that reasoning to total correctness. We formalise the framework for relational reasoning about total correctness in nondeterministic programs using semigroups with ordinary composition and demonic lattice operations. We show that the class of representable demonic join semigroups is not finitely axiomatisable and that the representation class of demonic meet semigroups does not have the finite representation property for its finite members. For lattice semigroups (with composition, demonic join and demonic meet) we show that the representation problem for finite algebras is undecidable, moreover the finite representation problem is also undecidable. It follows that the representation class is not finitely axiomatisable, furthermore the finite representation property fails." @default.
- W3173255320 created "2021-07-05" @default.
- W3173255320 creator A5009832059 @default.
- W3173255320 creator A5052366481 @default.
- W3173255320 date "2021-06-29" @default.
- W3173255320 modified "2023-10-18" @default.
- W3173255320 title "Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition" @default.
- W3173255320 cites W1483831133 @default.
- W3173255320 cites W1511110335 @default.
- W3173255320 cites W1967939054 @default.
- W3173255320 cites W2006006495 @default.
- W3173255320 cites W2007225061 @default.
- W3173255320 cites W2035306406 @default.
- W3173255320 cites W2059559554 @default.
- W3173255320 cites W2167982168 @default.
- W3173255320 cites W234549357 @default.
- W3173255320 cites W3084978857 @default.
- W3173255320 cites W3088488008 @default.
- W3173255320 cites W46493744 @default.
- W3173255320 doi "https://doi.org/10.1109/lics52264.2021.9470509" @default.
- W3173255320 hasPublicationYear "2021" @default.
- W3173255320 type Work @default.
- W3173255320 sameAs 3173255320 @default.
- W3173255320 citedByCount "4" @default.
- W3173255320 countsByYear W31732553202021 @default.
- W3173255320 countsByYear W31732553202022 @default.
- W3173255320 crossrefType "proceedings-article" @default.
- W3173255320 hasAuthorship W3173255320A5009832059 @default.
- W3173255320 hasAuthorship W3173255320A5052366481 @default.
- W3173255320 hasBestOaLocation W31732553202 @default.
- W3173255320 hasConcept C11413529 @default.
- W3173255320 hasConcept C118615104 @default.
- W3173255320 hasConcept C136119220 @default.
- W3173255320 hasConcept C153269930 @default.
- W3173255320 hasConcept C154945302 @default.
- W3173255320 hasConcept C176181172 @default.
- W3173255320 hasConcept C17744445 @default.
- W3173255320 hasConcept C192034797 @default.
- W3173255320 hasConcept C199539241 @default.
- W3173255320 hasConcept C202444582 @default.
- W3173255320 hasConcept C2776359362 @default.
- W3173255320 hasConcept C2777212361 @default.
- W3173255320 hasConcept C33923547 @default.
- W3173255320 hasConcept C41008148 @default.
- W3173255320 hasConcept C55439883 @default.
- W3173255320 hasConcept C94625758 @default.
- W3173255320 hasConceptScore W3173255320C11413529 @default.
- W3173255320 hasConceptScore W3173255320C118615104 @default.
- W3173255320 hasConceptScore W3173255320C136119220 @default.
- W3173255320 hasConceptScore W3173255320C153269930 @default.
- W3173255320 hasConceptScore W3173255320C154945302 @default.
- W3173255320 hasConceptScore W3173255320C176181172 @default.
- W3173255320 hasConceptScore W3173255320C17744445 @default.
- W3173255320 hasConceptScore W3173255320C192034797 @default.
- W3173255320 hasConceptScore W3173255320C199539241 @default.
- W3173255320 hasConceptScore W3173255320C202444582 @default.
- W3173255320 hasConceptScore W3173255320C2776359362 @default.
- W3173255320 hasConceptScore W3173255320C2777212361 @default.
- W3173255320 hasConceptScore W3173255320C33923547 @default.
- W3173255320 hasConceptScore W3173255320C41008148 @default.
- W3173255320 hasConceptScore W3173255320C55439883 @default.
- W3173255320 hasConceptScore W3173255320C94625758 @default.
- W3173255320 hasLocation W31732553201 @default.
- W3173255320 hasLocation W31732553202 @default.
- W3173255320 hasLocation W31732553203 @default.
- W3173255320 hasLocation W31732553204 @default.
- W3173255320 hasOpenAccess W3173255320 @default.
- W3173255320 hasPrimaryLocation W31732553201 @default.
- W3173255320 hasRelatedWork W125054192 @default.
- W3173255320 hasRelatedWork W1758564903 @default.
- W3173255320 hasRelatedWork W1988398776 @default.
- W3173255320 hasRelatedWork W1996177377 @default.
- W3173255320 hasRelatedWork W2034018160 @default.
- W3173255320 hasRelatedWork W2334976241 @default.
- W3173255320 hasRelatedWork W2963502804 @default.
- W3173255320 hasRelatedWork W3021255478 @default.
- W3173255320 hasRelatedWork W4226285978 @default.
- W3173255320 hasRelatedWork W4308066917 @default.
- W3173255320 isParatext "false" @default.
- W3173255320 isRetracted "false" @default.
- W3173255320 magId "3173255320" @default.
- W3173255320 workType "article" @default.