Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105133485> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2105133485 endingPage "223" @default.
- W2105133485 startingPage "217" @default.
- W2105133485 abstract "Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators." @default.
- W2105133485 created "2016-06-24" @default.
- W2105133485 creator A5032619003 @default.
- W2105133485 creator A5040487816 @default.
- W2105133485 creator A5078969375 @default.
- W2105133485 date "2005-03-01" @default.
- W2105133485 modified "2023-10-14" @default.
- W2105133485 title "A syntactic commutativity format for SOS" @default.
- W2105133485 cites W1968839148 @default.
- W2105133485 cites W1969947545 @default.
- W2105133485 cites W1999706742 @default.
- W2105133485 cites W2007809070 @default.
- W2105133485 cites W2017189999 @default.
- W2105133485 cites W2105135809 @default.
- W2105133485 cites W2109146692 @default.
- W2105133485 cites W2125382028 @default.
- W2105133485 doi "https://doi.org/10.1016/j.ipl.2004.11.007" @default.
- W2105133485 hasPublicationYear "2005" @default.
- W2105133485 type Work @default.
- W2105133485 sameAs 2105133485 @default.
- W2105133485 citedByCount "32" @default.
- W2105133485 countsByYear W21051334852012 @default.
- W2105133485 countsByYear W21051334852013 @default.
- W2105133485 countsByYear W21051334852014 @default.
- W2105133485 countsByYear W21051334852016 @default.
- W2105133485 countsByYear W21051334852017 @default.
- W2105133485 countsByYear W21051334852023 @default.
- W2105133485 crossrefType "journal-article" @default.
- W2105133485 hasAuthorship W2105133485A5032619003 @default.
- W2105133485 hasAuthorship W2105133485A5040487816 @default.
- W2105133485 hasAuthorship W2105133485A5078969375 @default.
- W2105133485 hasBestOaLocation W21051334852 @default.
- W2105133485 hasConcept C111472728 @default.
- W2105133485 hasConcept C118615104 @default.
- W2105133485 hasConcept C132010649 @default.
- W2105133485 hasConcept C138885662 @default.
- W2105133485 hasConcept C142362112 @default.
- W2105133485 hasConcept C153349607 @default.
- W2105133485 hasConcept C156325763 @default.
- W2105133485 hasConcept C167729594 @default.
- W2105133485 hasConcept C177264268 @default.
- W2105133485 hasConcept C183778304 @default.
- W2105133485 hasConcept C184337299 @default.
- W2105133485 hasConcept C199360897 @default.
- W2105133485 hasConcept C2524010 @default.
- W2105133485 hasConcept C33923547 @default.
- W2105133485 hasConcept C41008148 @default.
- W2105133485 hasConcept C558565934 @default.
- W2105133485 hasConcept C73301696 @default.
- W2105133485 hasConcept C80444323 @default.
- W2105133485 hasConceptScore W2105133485C111472728 @default.
- W2105133485 hasConceptScore W2105133485C118615104 @default.
- W2105133485 hasConceptScore W2105133485C132010649 @default.
- W2105133485 hasConceptScore W2105133485C138885662 @default.
- W2105133485 hasConceptScore W2105133485C142362112 @default.
- W2105133485 hasConceptScore W2105133485C153349607 @default.
- W2105133485 hasConceptScore W2105133485C156325763 @default.
- W2105133485 hasConceptScore W2105133485C167729594 @default.
- W2105133485 hasConceptScore W2105133485C177264268 @default.
- W2105133485 hasConceptScore W2105133485C183778304 @default.
- W2105133485 hasConceptScore W2105133485C184337299 @default.
- W2105133485 hasConceptScore W2105133485C199360897 @default.
- W2105133485 hasConceptScore W2105133485C2524010 @default.
- W2105133485 hasConceptScore W2105133485C33923547 @default.
- W2105133485 hasConceptScore W2105133485C41008148 @default.
- W2105133485 hasConceptScore W2105133485C558565934 @default.
- W2105133485 hasConceptScore W2105133485C73301696 @default.
- W2105133485 hasConceptScore W2105133485C80444323 @default.
- W2105133485 hasIssue "5" @default.
- W2105133485 hasLocation W21051334851 @default.
- W2105133485 hasLocation W21051334852 @default.
- W2105133485 hasLocation W21051334853 @default.
- W2105133485 hasOpenAccess W2105133485 @default.
- W2105133485 hasPrimaryLocation W21051334851 @default.
- W2105133485 hasRelatedWork W1482532369 @default.
- W2105133485 hasRelatedWork W1502311553 @default.
- W2105133485 hasRelatedWork W1531437820 @default.
- W2105133485 hasRelatedWork W1587224678 @default.
- W2105133485 hasRelatedWork W1597178555 @default.
- W2105133485 hasRelatedWork W1973482879 @default.
- W2105133485 hasRelatedWork W2106305471 @default.
- W2105133485 hasRelatedWork W2915995131 @default.
- W2105133485 hasRelatedWork W3021003119 @default.
- W2105133485 hasRelatedWork W2788308474 @default.
- W2105133485 hasVolume "93" @default.
- W2105133485 isParatext "false" @default.
- W2105133485 isRetracted "false" @default.
- W2105133485 magId "2105133485" @default.
- W2105133485 workType "article" @default.