Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519156777> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1519156777 abstract "The paper suggests a technique for representing partial recursive functions in Logic for Partial Functions. The technique preserves the least fixed point interpretation of such functions, and in this sense improves the technique hitherto applied to represent VDM specifications." @default.
- W1519156777 created "2016-06-24" @default.
- W1519156777 creator A5035929141 @default.
- W1519156777 date "1991-01-01" @default.
- W1519156777 modified "2023-09-27" @default.
- W1519156777 title "Reasoning about VDM specifications" @default.
- W1519156777 cites W1574621793 @default.
- W1519156777 cites W1763311423 @default.
- W1519156777 cites W2089387242 @default.
- W1519156777 doi "https://doi.org/10.1007/3-540-54834-3_21" @default.
- W1519156777 hasPublicationYear "1991" @default.
- W1519156777 type Work @default.
- W1519156777 sameAs 1519156777 @default.
- W1519156777 citedByCount "2" @default.
- W1519156777 crossrefType "book-chapter" @default.
- W1519156777 hasAuthorship W1519156777A5035929141 @default.
- W1519156777 hasConcept C11413529 @default.
- W1519156777 hasConcept C118615104 @default.
- W1519156777 hasConcept C154945302 @default.
- W1519156777 hasConcept C182359184 @default.
- W1519156777 hasConcept C195701839 @default.
- W1519156777 hasConcept C199360897 @default.
- W1519156777 hasConcept C25016198 @default.
- W1519156777 hasConcept C2780654840 @default.
- W1519156777 hasConcept C33923547 @default.
- W1519156777 hasConcept C41008148 @default.
- W1519156777 hasConcept C527412718 @default.
- W1519156777 hasConcept C80444323 @default.
- W1519156777 hasConceptScore W1519156777C11413529 @default.
- W1519156777 hasConceptScore W1519156777C118615104 @default.
- W1519156777 hasConceptScore W1519156777C154945302 @default.
- W1519156777 hasConceptScore W1519156777C182359184 @default.
- W1519156777 hasConceptScore W1519156777C195701839 @default.
- W1519156777 hasConceptScore W1519156777C199360897 @default.
- W1519156777 hasConceptScore W1519156777C25016198 @default.
- W1519156777 hasConceptScore W1519156777C2780654840 @default.
- W1519156777 hasConceptScore W1519156777C33923547 @default.
- W1519156777 hasConceptScore W1519156777C41008148 @default.
- W1519156777 hasConceptScore W1519156777C527412718 @default.
- W1519156777 hasConceptScore W1519156777C80444323 @default.
- W1519156777 hasLocation W15191567771 @default.
- W1519156777 hasOpenAccess W1519156777 @default.
- W1519156777 hasPrimaryLocation W15191567771 @default.
- W1519156777 hasRelatedWork W1492336582 @default.
- W1519156777 hasRelatedWork W1551132038 @default.
- W1519156777 hasRelatedWork W159258052 @default.
- W1519156777 hasRelatedWork W1594901485 @default.
- W1519156777 hasRelatedWork W1606247444 @default.
- W1519156777 hasRelatedWork W1608135341 @default.
- W1519156777 hasRelatedWork W1877007579 @default.
- W1519156777 hasRelatedWork W19702292 @default.
- W1519156777 hasRelatedWork W1972397223 @default.
- W1519156777 hasRelatedWork W2034261398 @default.
- W1519156777 hasRelatedWork W2041565413 @default.
- W1519156777 hasRelatedWork W2070925023 @default.
- W1519156777 hasRelatedWork W2131749807 @default.
- W1519156777 hasRelatedWork W2189248724 @default.
- W1519156777 hasRelatedWork W2383281128 @default.
- W1519156777 hasRelatedWork W2727344539 @default.
- W1519156777 hasRelatedWork W2949221323 @default.
- W1519156777 hasRelatedWork W2146964295 @default.
- W1519156777 hasRelatedWork W2170040419 @default.
- W1519156777 hasRelatedWork W2563256833 @default.
- W1519156777 isParatext "false" @default.
- W1519156777 isRetracted "false" @default.
- W1519156777 magId "1519156777" @default.
- W1519156777 workType "book-chapter" @default.