Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011109439> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2011109439 abstract "One of the most studied behavioural equivalences is bisimilarity. Its success is much due to the associated bisimulation proof method, which can be further enhanced by means of up-to bisimulation techniques such as up-to context." @default.
- W2011109439 created "2016-06-24" @default.
- W2011109439 creator A5077030456 @default.
- W2011109439 date "2015-01-14" @default.
- W2011109439 modified "2023-09-25" @default.
- W2011109439 title "Equations, Contractions, and Unique Solutions" @default.
- W2011109439 cites W1502876617 @default.
- W2011109439 cites W1537995368 @default.
- W2011109439 cites W1966112122 @default.
- W2011109439 cites W2007281030 @default.
- W2011109439 cites W2008781243 @default.
- W2011109439 cites W2022258624 @default.
- W2011109439 cites W2023149698 @default.
- W2011109439 cites W2072048176 @default.
- W2011109439 cites W2077019667 @default.
- W2011109439 cites W2125379835 @default.
- W2011109439 cites W2128510433 @default.
- W2011109439 cites W2141784054 @default.
- W2011109439 cites W2157144873 @default.
- W2011109439 cites W2163123880 @default.
- W2011109439 cites W2103294040 @default.
- W2011109439 doi "https://doi.org/10.1145/2676726.2676965" @default.
- W2011109439 hasPublicationYear "2015" @default.
- W2011109439 type Work @default.
- W2011109439 sameAs 2011109439 @default.
- W2011109439 citedByCount "4" @default.
- W2011109439 countsByYear W20111094392017 @default.
- W2011109439 countsByYear W20111094392018 @default.
- W2011109439 countsByYear W20111094392020 @default.
- W2011109439 crossrefType "proceedings-article" @default.
- W2011109439 hasAuthorship W2011109439A5077030456 @default.
- W2011109439 hasBestOaLocation W20111094392 @default.
- W2011109439 hasConcept C127313418 @default.
- W2011109439 hasConcept C135315306 @default.
- W2011109439 hasConcept C136119220 @default.
- W2011109439 hasConcept C151730666 @default.
- W2011109439 hasConcept C202444582 @default.
- W2011109439 hasConcept C2779343474 @default.
- W2011109439 hasConcept C33923547 @default.
- W2011109439 hasConcept C41008148 @default.
- W2011109439 hasConcept C80444323 @default.
- W2011109439 hasConceptScore W2011109439C127313418 @default.
- W2011109439 hasConceptScore W2011109439C135315306 @default.
- W2011109439 hasConceptScore W2011109439C136119220 @default.
- W2011109439 hasConceptScore W2011109439C151730666 @default.
- W2011109439 hasConceptScore W2011109439C202444582 @default.
- W2011109439 hasConceptScore W2011109439C2779343474 @default.
- W2011109439 hasConceptScore W2011109439C33923547 @default.
- W2011109439 hasConceptScore W2011109439C41008148 @default.
- W2011109439 hasConceptScore W2011109439C80444323 @default.
- W2011109439 hasFunder F4320320883 @default.
- W2011109439 hasFunder F4320321873 @default.
- W2011109439 hasLocation W20111094391 @default.
- W2011109439 hasLocation W20111094392 @default.
- W2011109439 hasLocation W20111094393 @default.
- W2011109439 hasLocation W20111094394 @default.
- W2011109439 hasLocation W20111094395 @default.
- W2011109439 hasLocation W20111094396 @default.
- W2011109439 hasOpenAccess W2011109439 @default.
- W2011109439 hasPrimaryLocation W20111094391 @default.
- W2011109439 hasRelatedWork W1989372642 @default.
- W2011109439 hasRelatedWork W2069441293 @default.
- W2011109439 hasRelatedWork W2105687903 @default.
- W2011109439 hasRelatedWork W2130820909 @default.
- W2011109439 hasRelatedWork W2332694326 @default.
- W2011109439 hasRelatedWork W2886842912 @default.
- W2011109439 hasRelatedWork W2913338188 @default.
- W2011109439 hasRelatedWork W3046926816 @default.
- W2011109439 hasRelatedWork W3096633875 @default.
- W2011109439 hasRelatedWork W4249089511 @default.
- W2011109439 isParatext "false" @default.
- W2011109439 isRetracted "false" @default.
- W2011109439 magId "2011109439" @default.
- W2011109439 workType "article" @default.