Matches in SemOpenAlex for { <https://semopenalex.org/work/W5793364> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W5793364 endingPage "385" @default.
- W5793364 startingPage "370" @default.
- W5793364 abstract "Minlog is a proof assistant which automatically extracts computational content in an extension of Gödel’s T from formalized proofs. We report on extending Minlog to deal with predicates defined using a particular combination of induction and coinduction, via so-called nested definitions. In order to increase the efficiency of the extracted programs, we have also implemented a feature to translate terms into Haskell programs. To illustrate our theory and implementation, a formalisation of a theory of uniformly continuous functions due to Berger is presented." @default.
- W5793364 created "2016-06-24" @default.
- W5793364 creator A5062221912 @default.
- W5793364 creator A5065899567 @default.
- W5793364 creator A5071784825 @default.
- W5793364 date "2013-01-01" @default.
- W5793364 modified "2023-10-06" @default.
- W5793364 title "Program Extraction from Nested Definitions" @default.
- W5793364 cites W1517093898 @default.
- W5793364 cites W1522720500 @default.
- W5793364 cites W1544564247 @default.
- W5793364 cites W1546449686 @default.
- W5793364 cites W1990062016 @default.
- W5793364 cites W2068318525 @default.
- W5793364 cites W2075204971 @default.
- W5793364 cites W2076405698 @default.
- W5793364 cites W2115721647 @default.
- W5793364 cites W2171729488 @default.
- W5793364 cites W2913811625 @default.
- W5793364 cites W3099809655 @default.
- W5793364 cites W4205623740 @default.
- W5793364 cites W4246631795 @default.
- W5793364 cites W4297574204 @default.
- W5793364 cites W1504696707 @default.
- W5793364 doi "https://doi.org/10.1007/978-3-642-39634-2_27" @default.
- W5793364 hasPublicationYear "2013" @default.
- W5793364 type Work @default.
- W5793364 sameAs 5793364 @default.
- W5793364 citedByCount "8" @default.
- W5793364 countsByYear W57933642013 @default.
- W5793364 countsByYear W57933642014 @default.
- W5793364 countsByYear W57933642015 @default.
- W5793364 countsByYear W57933642016 @default.
- W5793364 countsByYear W57933642018 @default.
- W5793364 countsByYear W57933642020 @default.
- W5793364 countsByYear W57933642023 @default.
- W5793364 crossrefType "book-chapter" @default.
- W5793364 hasAuthorship W5793364A5062221912 @default.
- W5793364 hasAuthorship W5793364A5065899567 @default.
- W5793364 hasAuthorship W5793364A5071784825 @default.
- W5793364 hasConcept C108710211 @default.
- W5793364 hasConcept C11413529 @default.
- W5793364 hasConcept C199360897 @default.
- W5793364 hasConcept C206743973 @default.
- W5793364 hasConcept C2524010 @default.
- W5793364 hasConcept C2778029271 @default.
- W5793364 hasConcept C2780432614 @default.
- W5793364 hasConcept C2780624054 @default.
- W5793364 hasConcept C33923547 @default.
- W5793364 hasConcept C41008148 @default.
- W5793364 hasConcept C42383842 @default.
- W5793364 hasConcept C80444323 @default.
- W5793364 hasConceptScore W5793364C108710211 @default.
- W5793364 hasConceptScore W5793364C11413529 @default.
- W5793364 hasConceptScore W5793364C199360897 @default.
- W5793364 hasConceptScore W5793364C206743973 @default.
- W5793364 hasConceptScore W5793364C2524010 @default.
- W5793364 hasConceptScore W5793364C2778029271 @default.
- W5793364 hasConceptScore W5793364C2780432614 @default.
- W5793364 hasConceptScore W5793364C2780624054 @default.
- W5793364 hasConceptScore W5793364C33923547 @default.
- W5793364 hasConceptScore W5793364C41008148 @default.
- W5793364 hasConceptScore W5793364C42383842 @default.
- W5793364 hasConceptScore W5793364C80444323 @default.
- W5793364 hasLocation W57933641 @default.
- W5793364 hasOpenAccess W5793364 @default.
- W5793364 hasPrimaryLocation W57933641 @default.
- W5793364 hasRelatedWork W1481383228 @default.
- W5793364 hasRelatedWork W1522519483 @default.
- W5793364 hasRelatedWork W1601811574 @default.
- W5793364 hasRelatedWork W1607469218 @default.
- W5793364 hasRelatedWork W1755532346 @default.
- W5793364 hasRelatedWork W1825292874 @default.
- W5793364 hasRelatedWork W2068737373 @default.
- W5793364 hasRelatedWork W2520543580 @default.
- W5793364 hasRelatedWork W4253461608 @default.
- W5793364 hasRelatedWork W5793364 @default.
- W5793364 isParatext "false" @default.
- W5793364 isRetracted "false" @default.
- W5793364 magId "5793364" @default.
- W5793364 workType "book-chapter" @default.