Matches in SemOpenAlex for { <https://semopenalex.org/work/W1007073359> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1007073359 endingPage "288" @default.
- W1007073359 startingPage "284" @default.
- W1007073359 abstract "It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not." @default.
- W1007073359 created "2016-06-24" @default.
- W1007073359 creator A5004734550 @default.
- W1007073359 date "2016-04-01" @default.
- W1007073359 modified "2023-10-14" @default.
- W1007073359 title "On the expressive power of Kleene algebra with domain" @default.
- W1007073359 cites W1998368317 @default.
- W1007073359 cites W2001616837 @default.
- W1007073359 cites W2010626618 @default.
- W1007073359 cites W2016732604 @default.
- W1007073359 cites W2068047345 @default.
- W1007073359 doi "https://doi.org/10.1016/j.ipl.2015.11.007" @default.
- W1007073359 hasPublicationYear "2016" @default.
- W1007073359 type Work @default.
- W1007073359 sameAs 1007073359 @default.
- W1007073359 citedByCount "6" @default.
- W1007073359 countsByYear W10070733592016 @default.
- W1007073359 countsByYear W10070733592019 @default.
- W1007073359 countsByYear W10070733592021 @default.
- W1007073359 countsByYear W10070733592023 @default.
- W1007073359 crossrefType "journal-article" @default.
- W1007073359 hasAuthorship W1007073359A5004734550 @default.
- W1007073359 hasBestOaLocation W10070733592 @default.
- W1007073359 hasConcept C118615104 @default.
- W1007073359 hasConcept C123260079 @default.
- W1007073359 hasConcept C134306372 @default.
- W1007073359 hasConcept C136119220 @default.
- W1007073359 hasConcept C195818886 @default.
- W1007073359 hasConcept C199360897 @default.
- W1007073359 hasConcept C202444582 @default.
- W1007073359 hasConcept C206470798 @default.
- W1007073359 hasConcept C33923547 @default.
- W1007073359 hasConcept C36503486 @default.
- W1007073359 hasConcept C41008148 @default.
- W1007073359 hasConceptScore W1007073359C118615104 @default.
- W1007073359 hasConceptScore W1007073359C123260079 @default.
- W1007073359 hasConceptScore W1007073359C134306372 @default.
- W1007073359 hasConceptScore W1007073359C136119220 @default.
- W1007073359 hasConceptScore W1007073359C195818886 @default.
- W1007073359 hasConceptScore W1007073359C199360897 @default.
- W1007073359 hasConceptScore W1007073359C202444582 @default.
- W1007073359 hasConceptScore W1007073359C206470798 @default.
- W1007073359 hasConceptScore W1007073359C33923547 @default.
- W1007073359 hasConceptScore W1007073359C36503486 @default.
- W1007073359 hasConceptScore W1007073359C41008148 @default.
- W1007073359 hasIssue "4" @default.
- W1007073359 hasLocation W10070733591 @default.
- W1007073359 hasLocation W10070733592 @default.
- W1007073359 hasOpenAccess W1007073359 @default.
- W1007073359 hasPrimaryLocation W10070733591 @default.
- W1007073359 hasRelatedWork W1007073359 @default.
- W1007073359 hasRelatedWork W1549533980 @default.
- W1007073359 hasRelatedWork W1565669300 @default.
- W1007073359 hasRelatedWork W2068047345 @default.
- W1007073359 hasRelatedWork W2951618619 @default.
- W1007073359 hasRelatedWork W2953324945 @default.
- W1007073359 hasRelatedWork W4248331534 @default.
- W1007073359 hasRelatedWork W4299135116 @default.
- W1007073359 hasRelatedWork W2471495717 @default.
- W1007073359 hasRelatedWork W2565695082 @default.
- W1007073359 hasVolume "116" @default.
- W1007073359 isParatext "false" @default.
- W1007073359 isRetracted "false" @default.
- W1007073359 magId "1007073359" @default.
- W1007073359 workType "article" @default.