Matches in SemOpenAlex for { <https://semopenalex.org/work/W15580640> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W15580640 created "2016-06-24" @default.
- W15580640 creator A5042265989 @default.
- W15580640 date "1993-01-01" @default.
- W15580640 modified "2023-09-26" @default.
- W15580640 title "Structured Specifications: Syntax, Semantics and Proof Calculus" @default.
- W15580640 cites W1558874663 @default.
- W15580640 cites W1567856068 @default.
- W15580640 cites W1586272280 @default.
- W15580640 cites W1983608286 @default.
- W15580640 cites W2000825654 @default.
- W15580640 cites W2112337095 @default.
- W15580640 cites W2121698728 @default.
- W15580640 cites W2293815615 @default.
- W15580640 cites W2911426808 @default.
- W15580640 cites W2987907651 @default.
- W15580640 cites W4205872083 @default.
- W15580640 cites W1508582654 @default.
- W15580640 doi "https://doi.org/10.1007/978-3-642-58041-3_11" @default.
- W15580640 hasPublicationYear "1993" @default.
- W15580640 type Work @default.
- W15580640 sameAs 15580640 @default.
- W15580640 citedByCount "15" @default.
- W15580640 countsByYear W155806402018 @default.
- W15580640 crossrefType "book-chapter" @default.
- W15580640 hasAuthorship W15580640A5042265989 @default.
- W15580640 hasConcept C101468663 @default.
- W15580640 hasConcept C108710211 @default.
- W15580640 hasConcept C146499914 @default.
- W15580640 hasConcept C154945302 @default.
- W15580640 hasConcept C156325763 @default.
- W15580640 hasConcept C167729594 @default.
- W15580640 hasConcept C177264268 @default.
- W15580640 hasConcept C184337299 @default.
- W15580640 hasConcept C195653647 @default.
- W15580640 hasConcept C199360897 @default.
- W15580640 hasConcept C201677973 @default.
- W15580640 hasConcept C203265346 @default.
- W15580640 hasConcept C2318724 @default.
- W15580640 hasConcept C2524010 @default.
- W15580640 hasConcept C2777691520 @default.
- W15580640 hasConcept C2779696439 @default.
- W15580640 hasConcept C2779729104 @default.
- W15580640 hasConcept C2780801425 @default.
- W15580640 hasConcept C33923547 @default.
- W15580640 hasConcept C41008148 @default.
- W15580640 hasConcept C60048249 @default.
- W15580640 hasConceptScore W15580640C101468663 @default.
- W15580640 hasConceptScore W15580640C108710211 @default.
- W15580640 hasConceptScore W15580640C146499914 @default.
- W15580640 hasConceptScore W15580640C154945302 @default.
- W15580640 hasConceptScore W15580640C156325763 @default.
- W15580640 hasConceptScore W15580640C167729594 @default.
- W15580640 hasConceptScore W15580640C177264268 @default.
- W15580640 hasConceptScore W15580640C184337299 @default.
- W15580640 hasConceptScore W15580640C195653647 @default.
- W15580640 hasConceptScore W15580640C199360897 @default.
- W15580640 hasConceptScore W15580640C201677973 @default.
- W15580640 hasConceptScore W15580640C203265346 @default.
- W15580640 hasConceptScore W15580640C2318724 @default.
- W15580640 hasConceptScore W15580640C2524010 @default.
- W15580640 hasConceptScore W15580640C2777691520 @default.
- W15580640 hasConceptScore W15580640C2779696439 @default.
- W15580640 hasConceptScore W15580640C2779729104 @default.
- W15580640 hasConceptScore W15580640C2780801425 @default.
- W15580640 hasConceptScore W15580640C33923547 @default.
- W15580640 hasConceptScore W15580640C41008148 @default.
- W15580640 hasConceptScore W15580640C60048249 @default.
- W15580640 hasLocation W155806401 @default.
- W15580640 hasOpenAccess W15580640 @default.
- W15580640 hasPrimaryLocation W155806401 @default.
- W15580640 hasRelatedWork W1496607686 @default.
- W15580640 hasRelatedWork W1549434492 @default.
- W15580640 hasRelatedWork W1576273408 @default.
- W15580640 hasRelatedWork W1601064245 @default.
- W15580640 hasRelatedWork W1603788080 @default.
- W15580640 hasRelatedWork W174471988 @default.
- W15580640 hasRelatedWork W1877482483 @default.
- W15580640 hasRelatedWork W1925601792 @default.
- W15580640 hasRelatedWork W1969510795 @default.
- W15580640 hasRelatedWork W2000825654 @default.
- W15580640 hasRelatedWork W2010883554 @default.
- W15580640 hasRelatedWork W2062871376 @default.
- W15580640 hasRelatedWork W2071749035 @default.
- W15580640 hasRelatedWork W2073899607 @default.
- W15580640 hasRelatedWork W2132371811 @default.
- W15580640 hasRelatedWork W2162643525 @default.
- W15580640 hasRelatedWork W2293815615 @default.
- W15580640 hasRelatedWork W2745004785 @default.
- W15580640 hasRelatedWork W2913989085 @default.
- W15580640 hasRelatedWork W70110996 @default.
- W15580640 isParatext "false" @default.
- W15580640 isRetracted "false" @default.
- W15580640 magId "15580640" @default.
- W15580640 workType "book-chapter" @default.