Matches in SemOpenAlex for { <https://semopenalex.org/work/W1509030580> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1509030580 endingPage "47" @default.
- W1509030580 startingPage "30" @default.
- W1509030580 created "2016-06-24" @default.
- W1509030580 creator A5017248361 @default.
- W1509030580 date "2008-04-03" @default.
- W1509030580 modified "2023-09-26" @default.
- W1509030580 title "Equivalence Checking for a Finite Higher Order π-Calculus" @default.
- W1509030580 cites W1496019238 @default.
- W1509030580 cites W1506255920 @default.
- W1509030580 cites W1590254145 @default.
- W1509030580 cites W1997387389 @default.
- W1509030580 cites W1998827035 @default.
- W1509030580 cites W2016748987 @default.
- W1509030580 cites W2033051110 @default.
- W1509030580 cites W2035991090 @default.
- W1509030580 cites W2043338352 @default.
- W1509030580 cites W2072848882 @default.
- W1509030580 cites W2094935854 @default.
- W1509030580 cites W2913663755 @default.
- W1509030580 doi "https://doi.org/10.1007/978-3-540-79124-9_4" @default.
- W1509030580 hasPublicationYear "2008" @default.
- W1509030580 type Work @default.
- W1509030580 sameAs 1509030580 @default.
- W1509030580 citedByCount "3" @default.
- W1509030580 crossrefType "book-chapter" @default.
- W1509030580 hasAuthorship W1509030580A5017248361 @default.
- W1509030580 hasConcept C136119220 @default.
- W1509030580 hasConcept C199343813 @default.
- W1509030580 hasConcept C199360897 @default.
- W1509030580 hasConcept C202444582 @default.
- W1509030580 hasConcept C2777686260 @default.
- W1509030580 hasConcept C2780069185 @default.
- W1509030580 hasConcept C2984882572 @default.
- W1509030580 hasConcept C33923547 @default.
- W1509030580 hasConcept C41008148 @default.
- W1509030580 hasConcept C71924100 @default.
- W1509030580 hasConceptScore W1509030580C136119220 @default.
- W1509030580 hasConceptScore W1509030580C199343813 @default.
- W1509030580 hasConceptScore W1509030580C199360897 @default.
- W1509030580 hasConceptScore W1509030580C202444582 @default.
- W1509030580 hasConceptScore W1509030580C2777686260 @default.
- W1509030580 hasConceptScore W1509030580C2780069185 @default.
- W1509030580 hasConceptScore W1509030580C2984882572 @default.
- W1509030580 hasConceptScore W1509030580C33923547 @default.
- W1509030580 hasConceptScore W1509030580C41008148 @default.
- W1509030580 hasConceptScore W1509030580C71924100 @default.
- W1509030580 hasLocation W15090305801 @default.
- W1509030580 hasOpenAccess W1509030580 @default.
- W1509030580 hasPrimaryLocation W15090305801 @default.
- W1509030580 hasRelatedWork W1603799276 @default.
- W1509030580 hasRelatedWork W2114695894 @default.
- W1509030580 hasRelatedWork W2163278217 @default.
- W1509030580 hasRelatedWork W2294166185 @default.
- W1509030580 hasRelatedWork W2794370785 @default.
- W1509030580 hasRelatedWork W2951546131 @default.
- W1509030580 hasRelatedWork W4226108737 @default.
- W1509030580 hasRelatedWork W4246922166 @default.
- W1509030580 hasRelatedWork W4289049428 @default.
- W1509030580 hasRelatedWork W612959659 @default.
- W1509030580 isParatext "false" @default.
- W1509030580 isRetracted "false" @default.
- W1509030580 magId "1509030580" @default.
- W1509030580 workType "book-chapter" @default.