Matches in SemOpenAlex for { <https://semopenalex.org/work/W4286410154> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4286410154 abstract "We extend the formalisation of confluence results in Kleene algebras to a formalisation of coherent confluence proofs. For this, we introduce the structure of higher globular Kleene algebra, a higher-dimensional generalisation of modal and concurrent Kleene algebra. We calculate a coherent Church-Rosser theorem and a coherent Newman's lemma in higher Kleene algebras by equational reasoning. We instantiate these results in the context of higher rewriting systems modelled by polygraphs." @default.
- W4286410154 created "2022-07-22" @default.
- W4286410154 creator A5004734550 @default.
- W4286410154 creator A5031488505 @default.
- W4286410154 creator A5059622355 @default.
- W4286410154 creator A5063718422 @default.
- W4286410154 date "2020-06-29" @default.
- W4286410154 modified "2023-10-18" @default.
- W4286410154 title "Algebraic coherent confluence and higher globular Kleene algebras" @default.
- W4286410154 doi "https://doi.org/10.48550/arxiv.2006.16129" @default.
- W4286410154 hasPublicationYear "2020" @default.
- W4286410154 type Work @default.
- W4286410154 citedByCount "0" @default.
- W4286410154 crossrefType "posted-content" @default.
- W4286410154 hasAuthorship W4286410154A5004734550 @default.
- W4286410154 hasAuthorship W4286410154A5031488505 @default.
- W4286410154 hasAuthorship W4286410154A5059622355 @default.
- W4286410154 hasAuthorship W4286410154A5063718422 @default.
- W4286410154 hasBestOaLocation W42864101541 @default.
- W4286410154 hasConcept C108710211 @default.
- W4286410154 hasConcept C118615104 @default.
- W4286410154 hasConcept C123260079 @default.
- W4286410154 hasConcept C134306372 @default.
- W4286410154 hasConcept C136119220 @default.
- W4286410154 hasConcept C151730666 @default.
- W4286410154 hasConcept C154690210 @default.
- W4286410154 hasConcept C18903297 @default.
- W4286410154 hasConcept C199360897 @default.
- W4286410154 hasConcept C202444582 @default.
- W4286410154 hasConcept C206470798 @default.
- W4286410154 hasConcept C2524010 @default.
- W4286410154 hasConcept C2777759810 @default.
- W4286410154 hasConcept C2779343474 @default.
- W4286410154 hasConcept C33923547 @default.
- W4286410154 hasConcept C41008148 @default.
- W4286410154 hasConcept C46757340 @default.
- W4286410154 hasConcept C77906462 @default.
- W4286410154 hasConcept C86803240 @default.
- W4286410154 hasConcept C9376300 @default.
- W4286410154 hasConceptScore W4286410154C108710211 @default.
- W4286410154 hasConceptScore W4286410154C118615104 @default.
- W4286410154 hasConceptScore W4286410154C123260079 @default.
- W4286410154 hasConceptScore W4286410154C134306372 @default.
- W4286410154 hasConceptScore W4286410154C136119220 @default.
- W4286410154 hasConceptScore W4286410154C151730666 @default.
- W4286410154 hasConceptScore W4286410154C154690210 @default.
- W4286410154 hasConceptScore W4286410154C18903297 @default.
- W4286410154 hasConceptScore W4286410154C199360897 @default.
- W4286410154 hasConceptScore W4286410154C202444582 @default.
- W4286410154 hasConceptScore W4286410154C206470798 @default.
- W4286410154 hasConceptScore W4286410154C2524010 @default.
- W4286410154 hasConceptScore W4286410154C2777759810 @default.
- W4286410154 hasConceptScore W4286410154C2779343474 @default.
- W4286410154 hasConceptScore W4286410154C33923547 @default.
- W4286410154 hasConceptScore W4286410154C41008148 @default.
- W4286410154 hasConceptScore W4286410154C46757340 @default.
- W4286410154 hasConceptScore W4286410154C77906462 @default.
- W4286410154 hasConceptScore W4286410154C86803240 @default.
- W4286410154 hasConceptScore W4286410154C9376300 @default.
- W4286410154 hasLocation W42864101541 @default.
- W4286410154 hasOpenAccess W4286410154 @default.
- W4286410154 hasPrimaryLocation W42864101541 @default.
- W4286410154 hasRelatedWork W1998368317 @default.
- W4286410154 hasRelatedWork W2104073699 @default.
- W4286410154 hasRelatedWork W2414463669 @default.
- W4286410154 hasRelatedWork W2748775944 @default.
- W4286410154 hasRelatedWork W3005709638 @default.
- W4286410154 hasRelatedWork W304101047 @default.
- W4286410154 hasRelatedWork W3113024437 @default.
- W4286410154 hasRelatedWork W4286410154 @default.
- W4286410154 hasRelatedWork W4286975335 @default.
- W4286410154 hasRelatedWork W57990650 @default.
- W4286410154 isParatext "false" @default.
- W4286410154 isRetracted "false" @default.
- W4286410154 workType "article" @default.