Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307316605> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4307316605 abstract "In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO), or make specific assumptions about certain constants, as for instance in NetKAT. Many of these variants fit within the unifying perspective offered by Kleene algebra with hypotheses, which comes with a canonical language model constructed from a given set of hypotheses. For the case of KAT, this model corresponds to the familiar interpretation of expressions as languages of guarded strings. A relevant question therefore is whether Kleene algebra together with a given set of hypotheses is complete with respect to its canonical language model. In this paper, we revisit, combine and extend existing results on this question to obtain tools for proving completeness in a modular way. We showcase these tools by giving new and modular proofs of completeness for KAT, KAO and NetKAT, and we prove completeness for new variants of KAT: KAT extended with a constant for the full relation, KAT extended with a converse operation, and a version of KAT where the collection of tests only forms a distributive lattice." @default.
- W4307316605 created "2022-10-31" @default.
- W4307316605 creator A5015520868 @default.
- W4307316605 creator A5049148964 @default.
- W4307316605 creator A5084356882 @default.
- W4307316605 date "2022-10-24" @default.
- W4307316605 modified "2023-10-17" @default.
- W4307316605 title "On Tools for Completeness of Kleene Algebra with Hypotheses" @default.
- W4307316605 doi "https://doi.org/10.48550/arxiv.2210.13020" @default.
- W4307316605 hasPublicationYear "2022" @default.
- W4307316605 type Work @default.
- W4307316605 citedByCount "0" @default.
- W4307316605 crossrefType "posted-content" @default.
- W4307316605 hasAuthorship W4307316605A5015520868 @default.
- W4307316605 hasAuthorship W4307316605A5049148964 @default.
- W4307316605 hasAuthorship W4307316605A5084356882 @default.
- W4307316605 hasBestOaLocation W43073166051 @default.
- W4307316605 hasConcept C100899422 @default.
- W4307316605 hasConcept C10282146 @default.
- W4307316605 hasConcept C108710211 @default.
- W4307316605 hasConcept C118615104 @default.
- W4307316605 hasConcept C123260079 @default.
- W4307316605 hasConcept C134306372 @default.
- W4307316605 hasConcept C136119220 @default.
- W4307316605 hasConcept C14394260 @default.
- W4307316605 hasConcept C17231256 @default.
- W4307316605 hasConcept C177264268 @default.
- W4307316605 hasConcept C199360897 @default.
- W4307316605 hasConcept C202444582 @default.
- W4307316605 hasConcept C206470798 @default.
- W4307316605 hasConcept C2524010 @default.
- W4307316605 hasConcept C2776809875 @default.
- W4307316605 hasConcept C33923547 @default.
- W4307316605 hasConcept C41008148 @default.
- W4307316605 hasConceptScore W4307316605C100899422 @default.
- W4307316605 hasConceptScore W4307316605C10282146 @default.
- W4307316605 hasConceptScore W4307316605C108710211 @default.
- W4307316605 hasConceptScore W4307316605C118615104 @default.
- W4307316605 hasConceptScore W4307316605C123260079 @default.
- W4307316605 hasConceptScore W4307316605C134306372 @default.
- W4307316605 hasConceptScore W4307316605C136119220 @default.
- W4307316605 hasConceptScore W4307316605C14394260 @default.
- W4307316605 hasConceptScore W4307316605C17231256 @default.
- W4307316605 hasConceptScore W4307316605C177264268 @default.
- W4307316605 hasConceptScore W4307316605C199360897 @default.
- W4307316605 hasConceptScore W4307316605C202444582 @default.
- W4307316605 hasConceptScore W4307316605C206470798 @default.
- W4307316605 hasConceptScore W4307316605C2524010 @default.
- W4307316605 hasConceptScore W4307316605C2776809875 @default.
- W4307316605 hasConceptScore W4307316605C33923547 @default.
- W4307316605 hasConceptScore W4307316605C41008148 @default.
- W4307316605 hasLocation W43073166051 @default.
- W4307316605 hasLocation W43073166052 @default.
- W4307316605 hasLocation W43073166053 @default.
- W4307316605 hasLocation W43073166054 @default.
- W4307316605 hasLocation W43073166055 @default.
- W4307316605 hasLocation W43073166056 @default.
- W4307316605 hasLocation W43073166057 @default.
- W4307316605 hasOpenAccess W4307316605 @default.
- W4307316605 hasPrimaryLocation W43073166051 @default.
- W4307316605 hasRelatedWork W1517840777 @default.
- W4307316605 hasRelatedWork W1524101192 @default.
- W4307316605 hasRelatedWork W1557356332 @default.
- W4307316605 hasRelatedWork W2108356686 @default.
- W4307316605 hasRelatedWork W4243189752 @default.
- W4307316605 hasRelatedWork W4307316605 @default.
- W4307316605 hasRelatedWork W4322832316 @default.
- W4307316605 hasRelatedWork W4366207546 @default.
- W4307316605 hasRelatedWork W4381894290 @default.
- W4307316605 hasRelatedWork W2471495717 @default.
- W4307316605 isParatext "false" @default.
- W4307316605 isRetracted "false" @default.
- W4307316605 workType "article" @default.