Matches in SemOpenAlex for { <https://semopenalex.org/work/W78524552> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W78524552 endingPage "390" @default.
- W78524552 startingPage "365" @default.
- W78524552 created "2016-06-24" @default.
- W78524552 creator A5001468738 @default.
- W78524552 creator A5017026543 @default.
- W78524552 creator A5040202788 @default.
- W78524552 date "1997-01-01" @default.
- W78524552 modified "2023-10-18" @default.
- W78524552 title "“Classical” programming-with-proofs in λSymPA: An analysis of non-confluence" @default.
- W78524552 cites W167771324 @default.
- W78524552 cites W1985185257 @default.
- W78524552 cites W2008920425 @default.
- W78524552 cites W2018181305 @default.
- W78524552 cites W2074560788 @default.
- W78524552 cites W2094935854 @default.
- W78524552 cites W2177357765 @default.
- W78524552 doi "https://doi.org/10.1007/bfb0014559" @default.
- W78524552 hasPublicationYear "1997" @default.
- W78524552 type Work @default.
- W78524552 sameAs 78524552 @default.
- W78524552 citedByCount "3" @default.
- W78524552 countsByYear W785245522015 @default.
- W78524552 crossrefType "book-chapter" @default.
- W78524552 hasAuthorship W78524552A5001468738 @default.
- W78524552 hasAuthorship W78524552A5017026543 @default.
- W78524552 hasAuthorship W78524552A5040202788 @default.
- W78524552 hasConcept C108710211 @default.
- W78524552 hasConcept C11413529 @default.
- W78524552 hasConcept C121332964 @default.
- W78524552 hasConcept C128838566 @default.
- W78524552 hasConcept C159333733 @default.
- W78524552 hasConcept C195818886 @default.
- W78524552 hasConcept C199343813 @default.
- W78524552 hasConcept C199360897 @default.
- W78524552 hasConcept C2524010 @default.
- W78524552 hasConcept C2777686260 @default.
- W78524552 hasConcept C33923547 @default.
- W78524552 hasConcept C41008148 @default.
- W78524552 hasConcept C61797465 @default.
- W78524552 hasConcept C62073222 @default.
- W78524552 hasConcept C62520636 @default.
- W78524552 hasConcept C71924100 @default.
- W78524552 hasConcept C77906462 @default.
- W78524552 hasConcept C80444323 @default.
- W78524552 hasConcept C97489613 @default.
- W78524552 hasConceptScore W78524552C108710211 @default.
- W78524552 hasConceptScore W78524552C11413529 @default.
- W78524552 hasConceptScore W78524552C121332964 @default.
- W78524552 hasConceptScore W78524552C128838566 @default.
- W78524552 hasConceptScore W78524552C159333733 @default.
- W78524552 hasConceptScore W78524552C195818886 @default.
- W78524552 hasConceptScore W78524552C199343813 @default.
- W78524552 hasConceptScore W78524552C199360897 @default.
- W78524552 hasConceptScore W78524552C2524010 @default.
- W78524552 hasConceptScore W78524552C2777686260 @default.
- W78524552 hasConceptScore W78524552C33923547 @default.
- W78524552 hasConceptScore W78524552C41008148 @default.
- W78524552 hasConceptScore W78524552C61797465 @default.
- W78524552 hasConceptScore W78524552C62073222 @default.
- W78524552 hasConceptScore W78524552C62520636 @default.
- W78524552 hasConceptScore W78524552C71924100 @default.
- W78524552 hasConceptScore W78524552C77906462 @default.
- W78524552 hasConceptScore W78524552C80444323 @default.
- W78524552 hasConceptScore W78524552C97489613 @default.
- W78524552 hasLocation W785245521 @default.
- W78524552 hasOpenAccess W78524552 @default.
- W78524552 hasPrimaryLocation W785245521 @default.
- W78524552 hasRelatedWork W1584499102 @default.
- W78524552 hasRelatedWork W1678981692 @default.
- W78524552 hasRelatedWork W2036161385 @default.
- W78524552 hasRelatedWork W2080915657 @default.
- W78524552 hasRelatedWork W2090855107 @default.
- W78524552 hasRelatedWork W3003639979 @default.
- W78524552 hasRelatedWork W3039704136 @default.
- W78524552 hasRelatedWork W4367000118 @default.
- W78524552 hasRelatedWork W78524552 @default.
- W78524552 hasRelatedWork W1839771719 @default.
- W78524552 isParatext "false" @default.
- W78524552 isRetracted "false" @default.
- W78524552 magId "78524552" @default.
- W78524552 workType "book-chapter" @default.