Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521293742> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1521293742 endingPage "119" @default.
- W1521293742 startingPage "112" @default.
- W1521293742 created "2016-06-24" @default.
- W1521293742 creator A5060712381 @default.
- W1521293742 date "2004-01-01" @default.
- W1521293742 modified "2023-09-27" @default.
- W1521293742 title "Proofs-as-Imperative-Programs: Application to Synthesis of Contracts" @default.
- W1521293742 cites W2158221842 @default.
- W1521293742 cites W2987907651 @default.
- W1521293742 doi "https://doi.org/10.1007/978-3-540-39866-0_13" @default.
- W1521293742 hasPublicationYear "2004" @default.
- W1521293742 type Work @default.
- W1521293742 sameAs 1521293742 @default.
- W1521293742 citedByCount "2" @default.
- W1521293742 crossrefType "book-chapter" @default.
- W1521293742 hasAuthorship W1521293742A5060712381 @default.
- W1521293742 hasConcept C108710211 @default.
- W1521293742 hasConcept C186846655 @default.
- W1521293742 hasConcept C199360897 @default.
- W1521293742 hasConcept C203265346 @default.
- W1521293742 hasConcept C2524010 @default.
- W1521293742 hasConcept C2777904410 @default.
- W1521293742 hasConcept C2778361913 @default.
- W1521293742 hasConcept C2778701210 @default.
- W1521293742 hasConcept C33923547 @default.
- W1521293742 hasConcept C40422974 @default.
- W1521293742 hasConcept C41008148 @default.
- W1521293742 hasConcept C529173508 @default.
- W1521293742 hasConcept C80291951 @default.
- W1521293742 hasConcept C80444323 @default.
- W1521293742 hasConcept C98045186 @default.
- W1521293742 hasConceptScore W1521293742C108710211 @default.
- W1521293742 hasConceptScore W1521293742C186846655 @default.
- W1521293742 hasConceptScore W1521293742C199360897 @default.
- W1521293742 hasConceptScore W1521293742C203265346 @default.
- W1521293742 hasConceptScore W1521293742C2524010 @default.
- W1521293742 hasConceptScore W1521293742C2777904410 @default.
- W1521293742 hasConceptScore W1521293742C2778361913 @default.
- W1521293742 hasConceptScore W1521293742C2778701210 @default.
- W1521293742 hasConceptScore W1521293742C33923547 @default.
- W1521293742 hasConceptScore W1521293742C40422974 @default.
- W1521293742 hasConceptScore W1521293742C41008148 @default.
- W1521293742 hasConceptScore W1521293742C529173508 @default.
- W1521293742 hasConceptScore W1521293742C80291951 @default.
- W1521293742 hasConceptScore W1521293742C80444323 @default.
- W1521293742 hasConceptScore W1521293742C98045186 @default.
- W1521293742 hasLocation W15212937421 @default.
- W1521293742 hasOpenAccess W1521293742 @default.
- W1521293742 hasPrimaryLocation W15212937421 @default.
- W1521293742 hasRelatedWork W1521293742 @default.
- W1521293742 hasRelatedWork W160320105 @default.
- W1521293742 hasRelatedWork W1944072015 @default.
- W1521293742 hasRelatedWork W2244099353 @default.
- W1521293742 hasRelatedWork W2547751540 @default.
- W1521293742 hasRelatedWork W2972221491 @default.
- W1521293742 hasRelatedWork W3048095579 @default.
- W1521293742 hasRelatedWork W4225421595 @default.
- W1521293742 hasRelatedWork W787793384 @default.
- W1521293742 hasRelatedWork W90993393 @default.
- W1521293742 isParatext "false" @default.
- W1521293742 isRetracted "false" @default.
- W1521293742 magId "1521293742" @default.
- W1521293742 workType "book-chapter" @default.