Matches in SemOpenAlex for { <https://semopenalex.org/work/W15282431> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W15282431 endingPage "390" @default.
- W15282431 startingPage "365" @default.
- W15282431 created "2016-06-24" @default.
- W15282431 creator A5001468738 @default.
- W15282431 creator A5017026543 @default.
- W15282431 creator A5040202788 @default.
- W15282431 date "1997-09-23" @default.
- W15282431 modified "2023-09-28" @default.
- W15282431 title "Classical Programming-with-Proofs in lambdaPASym: An Analysis of Non-confluence" @default.
- W15282431 hasPublicationYear "1997" @default.
- W15282431 type Work @default.
- W15282431 sameAs 15282431 @default.
- W15282431 citedByCount "0" @default.
- W15282431 crossrefType "proceedings-article" @default.
- W15282431 hasAuthorship W15282431A5001468738 @default.
- W15282431 hasAuthorship W15282431A5017026543 @default.
- W15282431 hasAuthorship W15282431A5040202788 @default.
- W15282431 hasConcept C108710211 @default.
- W15282431 hasConcept C199343813 @default.
- W15282431 hasConcept C199360897 @default.
- W15282431 hasConcept C2524010 @default.
- W15282431 hasConcept C2777686260 @default.
- W15282431 hasConcept C33923547 @default.
- W15282431 hasConcept C41008148 @default.
- W15282431 hasConcept C71924100 @default.
- W15282431 hasConcept C77906462 @default.
- W15282431 hasConceptScore W15282431C108710211 @default.
- W15282431 hasConceptScore W15282431C199343813 @default.
- W15282431 hasConceptScore W15282431C199360897 @default.
- W15282431 hasConceptScore W15282431C2524010 @default.
- W15282431 hasConceptScore W15282431C2777686260 @default.
- W15282431 hasConceptScore W15282431C33923547 @default.
- W15282431 hasConceptScore W15282431C41008148 @default.
- W15282431 hasConceptScore W15282431C71924100 @default.
- W15282431 hasConceptScore W15282431C77906462 @default.
- W15282431 hasLocation W152824311 @default.
- W15282431 hasOpenAccess W15282431 @default.
- W15282431 hasPrimaryLocation W152824311 @default.
- W15282431 hasRelatedWork W143790005 @default.
- W15282431 hasRelatedWork W1528668199 @default.
- W15282431 hasRelatedWork W1543743138 @default.
- W15282431 hasRelatedWork W1589368437 @default.
- W15282431 hasRelatedWork W1679103348 @default.
- W15282431 hasRelatedWork W1969319414 @default.
- W15282431 hasRelatedWork W1989789621 @default.
- W15282431 hasRelatedWork W2137657593 @default.
- W15282431 hasRelatedWork W2166505334 @default.
- W15282431 hasRelatedWork W2183819189 @default.
- W15282431 hasRelatedWork W2489846514 @default.
- W15282431 hasRelatedWork W2494990930 @default.
- W15282431 hasRelatedWork W2510622047 @default.
- W15282431 hasRelatedWork W2808023963 @default.
- W15282431 hasRelatedWork W2811365892 @default.
- W15282431 hasRelatedWork W2953246618 @default.
- W15282431 hasRelatedWork W2990104578 @default.
- W15282431 hasRelatedWork W30391660 @default.
- W15282431 hasRelatedWork W3117334981 @default.
- W15282431 hasRelatedWork W3146039255 @default.
- W15282431 isParatext "false" @default.
- W15282431 isRetracted "false" @default.
- W15282431 magId "15282431" @default.
- W15282431 workType "article" @default.