FRINK Linked Data Fragments server

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

• W2068047345 endingPage "833" @default.
• W2068047345 startingPage "798" @default.
• W2068047345 abstract "We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a codomain operation. KAD considerably augments the expressiveness of Kleene algebra, in particular for the specification and analysis of programs and state transition systems. We develop the basic calculus, present the most interesting models and discuss some related theories. We demonstrate applicability by two examples: algebraic reconstructions of Noethericity and propositional Hoare logic based on equational reasoning." @default.
• W2068047345 created "2016-06-24" @default.
• W2068047345 creator A5000109637 @default.
• W2068047345 creator A5004734550 @default.
• W2068047345 creator A5067382949 @default.
• W2068047345 date "2006-10-01" @default.
• W2068047345 modified "2023-10-14" @default.
• W2068047345 title "Kleene algebra with domain" @default.
• W2068047345 cites W1986949269 @default.
• W2068047345 cites W1998368317 @default.
• W2068047345 cites W2010626618 @default.
• W2068047345 cites W2016732604 @default.
• W2068047345 cites W2022554132 @default.
• W2068047345 cites W2032659576 @default.
• W2068047345 cites W2044475951 @default.
• W2068047345 cites W2069709605 @default.
• W2068047345 cites W2077631596 @default.
• W2068047345 cites W2163152086 @default.
• W2068047345 cites W2913233410 @default.
• W2068047345 cites W4239007999 @default.
• W2068047345 cites W4242309855 @default.
• W2068047345 cites W4296415990 @default.
• W2068047345 doi "https://doi.org/10.1145/1183278.1183285" @default.
• W2068047345 hasPublicationYear "2006" @default.
• W2068047345 type Work @default.
• W2068047345 sameAs 2068047345 @default.
• W2068047345 citedByCount "150" @default.
• W2068047345 countsByYear W20680473452012 @default.
• W2068047345 countsByYear W20680473452013 @default.
• W2068047345 countsByYear W20680473452014 @default.
• W2068047345 countsByYear W20680473452015 @default.
• W2068047345 countsByYear W20680473452016 @default.
• W2068047345 countsByYear W20680473452017 @default.
• W2068047345 countsByYear W20680473452019 @default.
• W2068047345 countsByYear W20680473452020 @default.
• W2068047345 countsByYear W20680473452021 @default.
• W2068047345 countsByYear W20680473452022 @default.
• W2068047345 countsByYear W20680473452023 @default.
• W2068047345 crossrefType "journal-article" @default.
• W2068047345 hasAuthorship W2068047345A5000109637 @default.
• W2068047345 hasAuthorship W2068047345A5004734550 @default.
• W2068047345 hasAuthorship W2068047345A5067382949 @default.
• W2068047345 hasBestOaLocation W20680473452 @default.
• W2068047345 hasConcept C111472728 @default.
• W2068047345 hasConcept C118615104 @default.
• W2068047345 hasConcept C123260079 @default.
• W2068047345 hasConcept C134306372 @default.
• W2068047345 hasConcept C136119220 @default.
• W2068047345 hasConcept C138885662 @default.
• W2068047345 hasConcept C14394260 @default.
• W2068047345 hasConcept C154564781 @default.
• W2068047345 hasConcept C154690210 @default.
• W2068047345 hasConcept C161771561 @default.
• W2068047345 hasConcept C167729594 @default.
• W2068047345 hasConcept C170517529 @default.
• W2068047345 hasConcept C199360897 @default.
• W2068047345 hasConcept C202444582 @default.
• W2068047345 hasConcept C206470798 @default.
• W2068047345 hasConcept C207764348 @default.
• W2068047345 hasConcept C2524010 @default.
• W2068047345 hasConcept C2777691520 @default.
• W2068047345 hasConcept C2778029271 @default.
• W2068047345 hasConcept C2780586882 @default.
• W2068047345 hasConcept C33923547 @default.
• W2068047345 hasConcept C36503486 @default.
• W2068047345 hasConcept C41008148 @default.
• W2068047345 hasConcept C69562738 @default.
• W2068047345 hasConcept C9376300 @default.
• W2068047345 hasConceptScore W2068047345C111472728 @default.
• W2068047345 hasConceptScore W2068047345C118615104 @default.
• W2068047345 hasConceptScore W2068047345C123260079 @default.
• W2068047345 hasConceptScore W2068047345C134306372 @default.
• W2068047345 hasConceptScore W2068047345C136119220 @default.
• W2068047345 hasConceptScore W2068047345C138885662 @default.
• W2068047345 hasConceptScore W2068047345C14394260 @default.
• W2068047345 hasConceptScore W2068047345C154564781 @default.
• W2068047345 hasConceptScore W2068047345C154690210 @default.
• W2068047345 hasConceptScore W2068047345C161771561 @default.
• W2068047345 hasConceptScore W2068047345C167729594 @default.
• W2068047345 hasConceptScore W2068047345C170517529 @default.
• W2068047345 hasConceptScore W2068047345C199360897 @default.
• W2068047345 hasConceptScore W2068047345C202444582 @default.
• W2068047345 hasConceptScore W2068047345C206470798 @default.
• W2068047345 hasConceptScore W2068047345C207764348 @default.
• W2068047345 hasConceptScore W2068047345C2524010 @default.
• W2068047345 hasConceptScore W2068047345C2777691520 @default.
• W2068047345 hasConceptScore W2068047345C2778029271 @default.
• W2068047345 hasConceptScore W2068047345C2780586882 @default.
• W2068047345 hasConceptScore W2068047345C33923547 @default.
• W2068047345 hasConceptScore W2068047345C36503486 @default.
• W2068047345 hasConceptScore W2068047345C41008148 @default.
• W2068047345 hasConceptScore W2068047345C69562738 @default.
• W2068047345 hasConceptScore W2068047345C9376300 @default.
• W2068047345 hasIssue "4" @default.
• W2068047345 hasLocation W20680473451 @default.
• W2068047345 hasLocation W20680473452 @default.
• W2068047345 hasOpenAccess W2068047345 @default.
• W2068047345 hasPrimaryLocation W20680473451 @default.

• next