Matches in SemOpenAlex for { <https://semopenalex.org/work/W116831339> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W116831339 abstract "Specifications of programs frequently involve operators and functions that are not defined over all of their (syntactic) domains. Proofs about specifications ---and those to discharge proof obligations that arise in justifying steps of design--- must be based on formal rules. Since classical logic deals only with defined values, some extra thought is required. There are several ways of handling terms that can fail to denote a value -- this paper provides a semantically based comparison of three of the best known approaches. In addition, some pointers are given to further alternatives." @default.
- W116831339 created "2016-06-24" @default.
- W116831339 creator A5007486465 @default.
- W116831339 creator A5053935611 @default.
- W116831339 creator A5070949018 @default.
- W116831339 date "2012-01-01" @default.
- W116831339 modified "2023-09-26" @default.
- W116831339 title "A Semantic Analysis of Logics That Cope with Partial Terms" @default.
- W116831339 cites W1492288664 @default.
- W116831339 cites W1493986604 @default.
- W116831339 cites W1507535885 @default.
- W116831339 cites W1759032052 @default.
- W116831339 cites W1772698657 @default.
- W116831339 cites W1972221707 @default.
- W116831339 cites W1981321277 @default.
- W116831339 cites W1984399960 @default.
- W116831339 cites W1999997706 @default.
- W116831339 cites W2030221869 @default.
- W116831339 cites W2035762555 @default.
- W116831339 cites W2064876896 @default.
- W116831339 cites W2074427594 @default.
- W116831339 cites W2075863700 @default.
- W116831339 cites W2089387242 @default.
- W116831339 cites W2109325556 @default.
- W116831339 cites W2123817031 @default.
- W116831339 cites W2127534883 @default.
- W116831339 cites W2138256602 @default.
- W116831339 cites W2157560459 @default.
- W116831339 cites W2594012524 @default.
- W116831339 cites W3136218818 @default.
- W116831339 cites W4247117798 @default.
- W116831339 cites W6204907 @default.
- W116831339 doi "https://doi.org/10.1007/978-3-642-30885-7_18" @default.
- W116831339 hasPublicationYear "2012" @default.
- W116831339 type Work @default.
- W116831339 sameAs 116831339 @default.
- W116831339 citedByCount "4" @default.
- W116831339 countsByYear W1168313392012 @default.
- W116831339 countsByYear W1168313392013 @default.
- W116831339 countsByYear W1168313392014 @default.
- W116831339 crossrefType "book-chapter" @default.
- W116831339 hasAuthorship W116831339A5007486465 @default.
- W116831339 hasAuthorship W116831339A5053935611 @default.
- W116831339 hasAuthorship W116831339A5070949018 @default.
- W116831339 hasConcept C108710211 @default.
- W116831339 hasConcept C184337299 @default.
- W116831339 hasConcept C199360897 @default.
- W116831339 hasConcept C2318724 @default.
- W116831339 hasConcept C2524010 @default.
- W116831339 hasConcept C33923547 @default.
- W116831339 hasConcept C41008148 @default.
- W116831339 hasConcept C80444323 @default.
- W116831339 hasConceptScore W116831339C108710211 @default.
- W116831339 hasConceptScore W116831339C184337299 @default.
- W116831339 hasConceptScore W116831339C199360897 @default.
- W116831339 hasConceptScore W116831339C2318724 @default.
- W116831339 hasConceptScore W116831339C2524010 @default.
- W116831339 hasConceptScore W116831339C33923547 @default.
- W116831339 hasConceptScore W116831339C41008148 @default.
- W116831339 hasConceptScore W116831339C80444323 @default.
- W116831339 hasLocation W1168313391 @default.
- W116831339 hasOpenAccess W116831339 @default.
- W116831339 hasPrimaryLocation W1168313391 @default.
- W116831339 hasRelatedWork W145532944 @default.
- W116831339 hasRelatedWork W1504074698 @default.
- W116831339 hasRelatedWork W1514645981 @default.
- W116831339 hasRelatedWork W1546101356 @default.
- W116831339 hasRelatedWork W1604327066 @default.
- W116831339 hasRelatedWork W1988269017 @default.
- W116831339 hasRelatedWork W2012093318 @default.
- W116831339 hasRelatedWork W2030221869 @default.
- W116831339 hasRelatedWork W2092242770 @default.
- W116831339 hasRelatedWork W2289011483 @default.
- W116831339 hasRelatedWork W2402633388 @default.
- W116831339 hasRelatedWork W2425169737 @default.
- W116831339 hasRelatedWork W2476811475 @default.
- W116831339 hasRelatedWork W2548335565 @default.
- W116831339 hasRelatedWork W2948254981 @default.
- W116831339 hasRelatedWork W2951278295 @default.
- W116831339 hasRelatedWork W2973756861 @default.
- W116831339 hasRelatedWork W91657821 @default.
- W116831339 hasRelatedWork W132765453 @default.
- W116831339 hasRelatedWork W3094231245 @default.
- W116831339 isParatext "false" @default.
- W116831339 isRetracted "false" @default.
- W116831339 magId "116831339" @default.
- W116831339 workType "book-chapter" @default.