Matches in SemOpenAlex for { <https://semopenalex.org/work/W1854607710> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1854607710 endingPage "119" @default.
- W1854607710 startingPage "105" @default.
- W1854607710 created "2016-06-24" @default.
- W1854607710 creator A5023111671 @default.
- W1854607710 creator A5066278415 @default.
- W1854607710 date "2007-01-01" @default.
- W1854607710 modified "2023-09-26" @default.
- W1854607710 title "Modular Formalization of Reactive Modules in COQ" @default.
- W1854607710 cites W1481578403 @default.
- W1854607710 cites W1498539321 @default.
- W1854607710 cites W1563164353 @default.
- W1854607710 cites W1606938409 @default.
- W1854607710 cites W1839417294 @default.
- W1854607710 cites W1971428712 @default.
- W1854607710 cites W1972691992 @default.
- W1854607710 cites W2015688007 @default.
- W1854607710 cites W2155295909 @default.
- W1854607710 cites W2296646831 @default.
- W1854607710 doi "https://doi.org/10.1007/978-3-540-77505-8_9" @default.
- W1854607710 hasPublicationYear "2007" @default.
- W1854607710 type Work @default.
- W1854607710 sameAs 1854607710 @default.
- W1854607710 citedByCount "0" @default.
- W1854607710 crossrefType "book-chapter" @default.
- W1854607710 hasAuthorship W1854607710A5023111671 @default.
- W1854607710 hasAuthorship W1854607710A5066278415 @default.
- W1854607710 hasConcept C101468663 @default.
- W1854607710 hasConcept C108710211 @default.
- W1854607710 hasConcept C111472728 @default.
- W1854607710 hasConcept C138885662 @default.
- W1854607710 hasConcept C189950617 @default.
- W1854607710 hasConcept C199360897 @default.
- W1854607710 hasConcept C203265346 @default.
- W1854607710 hasConcept C2524010 @default.
- W1854607710 hasConcept C2779478453 @default.
- W1854607710 hasConcept C33923547 @default.
- W1854607710 hasConcept C41008148 @default.
- W1854607710 hasConcept C54355233 @default.
- W1854607710 hasConcept C80444323 @default.
- W1854607710 hasConcept C86803240 @default.
- W1854607710 hasConceptScore W1854607710C101468663 @default.
- W1854607710 hasConceptScore W1854607710C108710211 @default.
- W1854607710 hasConceptScore W1854607710C111472728 @default.
- W1854607710 hasConceptScore W1854607710C138885662 @default.
- W1854607710 hasConceptScore W1854607710C189950617 @default.
- W1854607710 hasConceptScore W1854607710C199360897 @default.
- W1854607710 hasConceptScore W1854607710C203265346 @default.
- W1854607710 hasConceptScore W1854607710C2524010 @default.
- W1854607710 hasConceptScore W1854607710C2779478453 @default.
- W1854607710 hasConceptScore W1854607710C33923547 @default.
- W1854607710 hasConceptScore W1854607710C41008148 @default.
- W1854607710 hasConceptScore W1854607710C54355233 @default.
- W1854607710 hasConceptScore W1854607710C80444323 @default.
- W1854607710 hasConceptScore W1854607710C86803240 @default.
- W1854607710 hasLocation W18546077101 @default.
- W1854607710 hasOpenAccess W1854607710 @default.
- W1854607710 hasPrimaryLocation W18546077101 @default.
- W1854607710 hasRelatedWork W1501252054 @default.
- W1854607710 hasRelatedWork W1537343097 @default.
- W1854607710 hasRelatedWork W160320105 @default.
- W1854607710 hasRelatedWork W1854607710 @default.
- W1854607710 hasRelatedWork W1861841802 @default.
- W1854607710 hasRelatedWork W1965240571 @default.
- W1854607710 hasRelatedWork W2023237006 @default.
- W1854607710 hasRelatedWork W2067492562 @default.
- W1854607710 hasRelatedWork W4376271928 @default.
- W1854607710 hasRelatedWork W787793384 @default.
- W1854607710 isParatext "false" @default.
- W1854607710 isRetracted "false" @default.
- W1854607710 magId "1854607710" @default.
- W1854607710 workType "book-chapter" @default.