Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569124176> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1569124176 endingPage "420" @default.
- W1569124176 startingPage "419" @default.
- W1569124176 abstract "we show how predicate logic can be used to derive programs from axiomatic specifications. We also show how its proof theory can be used to analyse, and re-charaterize, the computations of a program." @default.
- W1569124176 created "2016-06-24" @default.
- W1569124176 creator A5033091818 @default.
- W1569124176 creator A5051707395 @default.
- W1569124176 date "1977-08-22" @default.
- W1569124176 modified "2023-09-26" @default.
- W1569124176 title "Predicate logic: a calculus for deriving programs" @default.
- W1569124176 cites W1578088218 @default.
- W1569124176 cites W1963804765 @default.
- W1569124176 cites W2003879744 @default.
- W1569124176 cites W2027685350 @default.
- W1569124176 cites W2112962394 @default.
- W1569124176 cites W37883845 @default.
- W1569124176 cites W68262387 @default.
- W1569124176 cites W275899347 @default.
- W1569124176 hasPublicationYear "1977" @default.
- W1569124176 type Work @default.
- W1569124176 sameAs 1569124176 @default.
- W1569124176 citedByCount "10" @default.
- W1569124176 crossrefType "proceedings-article" @default.
- W1569124176 hasAuthorship W1569124176A5033091818 @default.
- W1569124176 hasAuthorship W1569124176A5051707395 @default.
- W1569124176 hasConcept C100481476 @default.
- W1569124176 hasConcept C102993220 @default.
- W1569124176 hasConcept C108710211 @default.
- W1569124176 hasConcept C110039528 @default.
- W1569124176 hasConcept C11413529 @default.
- W1569124176 hasConcept C125773388 @default.
- W1569124176 hasConcept C128838566 @default.
- W1569124176 hasConcept C140146324 @default.
- W1569124176 hasConcept C167729594 @default.
- W1569124176 hasConcept C19689857 @default.
- W1569124176 hasConcept C199343813 @default.
- W1569124176 hasConcept C199360897 @default.
- W1569124176 hasConcept C203659156 @default.
- W1569124176 hasConcept C2318724 @default.
- W1569124176 hasConcept C2524010 @default.
- W1569124176 hasConcept C2777686260 @default.
- W1569124176 hasConcept C2987117450 @default.
- W1569124176 hasConcept C33923547 @default.
- W1569124176 hasConcept C41008148 @default.
- W1569124176 hasConcept C62073222 @default.
- W1569124176 hasConcept C71924100 @default.
- W1569124176 hasConcept C73314972 @default.
- W1569124176 hasConcept C80444323 @default.
- W1569124176 hasConceptScore W1569124176C100481476 @default.
- W1569124176 hasConceptScore W1569124176C102993220 @default.
- W1569124176 hasConceptScore W1569124176C108710211 @default.
- W1569124176 hasConceptScore W1569124176C110039528 @default.
- W1569124176 hasConceptScore W1569124176C11413529 @default.
- W1569124176 hasConceptScore W1569124176C125773388 @default.
- W1569124176 hasConceptScore W1569124176C128838566 @default.
- W1569124176 hasConceptScore W1569124176C140146324 @default.
- W1569124176 hasConceptScore W1569124176C167729594 @default.
- W1569124176 hasConceptScore W1569124176C19689857 @default.
- W1569124176 hasConceptScore W1569124176C199343813 @default.
- W1569124176 hasConceptScore W1569124176C199360897 @default.
- W1569124176 hasConceptScore W1569124176C203659156 @default.
- W1569124176 hasConceptScore W1569124176C2318724 @default.
- W1569124176 hasConceptScore W1569124176C2524010 @default.
- W1569124176 hasConceptScore W1569124176C2777686260 @default.
- W1569124176 hasConceptScore W1569124176C2987117450 @default.
- W1569124176 hasConceptScore W1569124176C33923547 @default.
- W1569124176 hasConceptScore W1569124176C41008148 @default.
- W1569124176 hasConceptScore W1569124176C62073222 @default.
- W1569124176 hasConceptScore W1569124176C71924100 @default.
- W1569124176 hasConceptScore W1569124176C73314972 @default.
- W1569124176 hasConceptScore W1569124176C80444323 @default.
- W1569124176 hasLocation W15691241761 @default.
- W1569124176 hasOpenAccess W1569124176 @default.
- W1569124176 hasPrimaryLocation W15691241761 @default.
- W1569124176 hasRelatedWork W1531044637 @default.
- W1569124176 hasRelatedWork W1532674857 @default.
- W1569124176 hasRelatedWork W1541434994 @default.
- W1569124176 hasRelatedWork W1578088218 @default.
- W1569124176 hasRelatedWork W16194962 @default.
- W1569124176 hasRelatedWork W1766332311 @default.
- W1569124176 hasRelatedWork W190657005 @default.
- W1569124176 hasRelatedWork W1975952423 @default.
- W1569124176 hasRelatedWork W1985819576 @default.
- W1569124176 hasRelatedWork W1988185893 @default.
- W1569124176 hasRelatedWork W1995270677 @default.
- W1569124176 hasRelatedWork W2011306767 @default.
- W1569124176 hasRelatedWork W2012436850 @default.
- W1569124176 hasRelatedWork W2023299380 @default.
- W1569124176 hasRelatedWork W2036481185 @default.
- W1569124176 hasRelatedWork W2056168527 @default.
- W1569124176 hasRelatedWork W2100738443 @default.
- W1569124176 hasRelatedWork W2147335415 @default.
- W1569124176 hasRelatedWork W2212036697 @default.
- W1569124176 hasRelatedWork W68262387 @default.
- W1569124176 isParatext "false" @default.
- W1569124176 isRetracted "false" @default.
- W1569124176 magId "1569124176" @default.
- W1569124176 workType "article" @default.