Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047981584> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2047981584 endingPage "28" @default.
- W2047981584 startingPage "1" @default.
- W2047981584 abstract "This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered." @default.
- W2047981584 created "2016-06-24" @default.
- W2047981584 creator A5016540152 @default.
- W2047981584 creator A5040487816 @default.
- W2047981584 creator A5041913577 @default.
- W2047981584 creator A5074262851 @default.
- W2047981584 creator A5078969375 @default.
- W2047981584 date "2012-11-01" @default.
- W2047981584 modified "2023-10-14" @default.
- W2047981584 title "Rule formats for distributivity" @default.
- W2047981584 cites W1581920980 @default.
- W2047981584 cites W1966112122 @default.
- W2047981584 cites W1972475472 @default.
- W2047981584 cites W1972478730 @default.
- W2047981584 cites W2070157304 @default.
- W2047981584 cites W2089546907 @default.
- W2047981584 cites W2105133485 @default.
- W2047981584 cites W2105135809 @default.
- W2047981584 cites W2108192909 @default.
- W2047981584 cites W2152688610 @default.
- W2047981584 cites W2158942489 @default.
- W2047981584 cites W2164504930 @default.
- W2047981584 cites W2222296167 @default.
- W2047981584 cites W4211008702 @default.
- W2047981584 doi "https://doi.org/10.1016/j.tcs.2012.07.036" @default.
- W2047981584 hasPublicationYear "2012" @default.
- W2047981584 type Work @default.
- W2047981584 sameAs 2047981584 @default.
- W2047981584 citedByCount "5" @default.
- W2047981584 countsByYear W20479815842012 @default.
- W2047981584 countsByYear W20479815842013 @default.
- W2047981584 countsByYear W20479815842017 @default.
- W2047981584 countsByYear W20479815842023 @default.
- W2047981584 crossrefType "journal-article" @default.
- W2047981584 hasAuthorship W2047981584A5016540152 @default.
- W2047981584 hasAuthorship W2047981584A5040487816 @default.
- W2047981584 hasAuthorship W2047981584A5041913577 @default.
- W2047981584 hasAuthorship W2047981584A5074262851 @default.
- W2047981584 hasAuthorship W2047981584A5078969375 @default.
- W2047981584 hasBestOaLocation W20479815841 @default.
- W2047981584 hasConcept C11821877 @default.
- W2047981584 hasConcept C136119220 @default.
- W2047981584 hasConcept C138390121 @default.
- W2047981584 hasConcept C144237770 @default.
- W2047981584 hasConcept C177264268 @default.
- W2047981584 hasConcept C184337299 @default.
- W2047981584 hasConcept C199360897 @default.
- W2047981584 hasConcept C202444582 @default.
- W2047981584 hasConcept C33923547 @default.
- W2047981584 hasConcept C41008148 @default.
- W2047981584 hasConcept C48372109 @default.
- W2047981584 hasConcept C80444323 @default.
- W2047981584 hasConcept C94375191 @default.
- W2047981584 hasConceptScore W2047981584C11821877 @default.
- W2047981584 hasConceptScore W2047981584C136119220 @default.
- W2047981584 hasConceptScore W2047981584C138390121 @default.
- W2047981584 hasConceptScore W2047981584C144237770 @default.
- W2047981584 hasConceptScore W2047981584C177264268 @default.
- W2047981584 hasConceptScore W2047981584C184337299 @default.
- W2047981584 hasConceptScore W2047981584C199360897 @default.
- W2047981584 hasConceptScore W2047981584C202444582 @default.
- W2047981584 hasConceptScore W2047981584C33923547 @default.
- W2047981584 hasConceptScore W2047981584C41008148 @default.
- W2047981584 hasConceptScore W2047981584C48372109 @default.
- W2047981584 hasConceptScore W2047981584C80444323 @default.
- W2047981584 hasConceptScore W2047981584C94375191 @default.
- W2047981584 hasLocation W20479815841 @default.
- W2047981584 hasLocation W20479815842 @default.
- W2047981584 hasLocation W20479815843 @default.
- W2047981584 hasOpenAccess W2047981584 @default.
- W2047981584 hasPrimaryLocation W20479815841 @default.
- W2047981584 hasRelatedWork W1582247441 @default.
- W2047981584 hasRelatedWork W1587224678 @default.
- W2047981584 hasRelatedWork W1855927527 @default.
- W2047981584 hasRelatedWork W2047793074 @default.
- W2047981584 hasRelatedWork W2047981584 @default.
- W2047981584 hasRelatedWork W2102506789 @default.
- W2047981584 hasRelatedWork W2201339735 @default.
- W2047981584 hasRelatedWork W2493467607 @default.
- W2047981584 hasRelatedWork W2809161593 @default.
- W2047981584 hasRelatedWork W3011046085 @default.
- W2047981584 hasVolume "458" @default.
- W2047981584 isParatext "false" @default.
- W2047981584 isRetracted "false" @default.
- W2047981584 magId "2047981584" @default.
- W2047981584 workType "article" @default.