Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489413080> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1489413080 endingPage "150" @default.
- W1489413080 startingPage "136" @default.
- W1489413080 abstract "A number of combinations of reasoning and computer algebra systems have been proposed; in this paper we describe another, namely a way to incorporate a logic in the computer algebra system Axiom. We examine the type system of Aldor – the Axiom Library Compiler – and show that with some modifications we can use the dependent types of the system to model a logic, under the Curry-Howard isomorphism. We give a number of example applications of the logic we construct and explain a prototype implementation of a modified type-checking system written in Haskell." @default.
- W1489413080 created "2016-06-24" @default.
- W1489413080 creator A5018169511 @default.
- W1489413080 creator A5039766794 @default.
- W1489413080 date "2000-01-01" @default.
- W1489413080 modified "2023-09-30" @default.
- W1489413080 title "Integrating Computer Algebra and Reasoning through the Type System of Aldor" @default.
- W1489413080 cites W1516397683 @default.
- W1489413080 cites W1518871620 @default.
- W1489413080 cites W1536900577 @default.
- W1489413080 cites W1555185025 @default.
- W1489413080 cites W1964952791 @default.
- W1489413080 cites W1994308108 @default.
- W1489413080 cites W2013072751 @default.
- W1489413080 cites W2013759211 @default.
- W1489413080 cites W2030224639 @default.
- W1489413080 cites W2059895047 @default.
- W1489413080 cites W2093368813 @default.
- W1489413080 cites W2104204098 @default.
- W1489413080 cites W2124318699 @default.
- W1489413080 cites W2912541449 @default.
- W1489413080 doi "https://doi.org/10.1007/10720084_10" @default.
- W1489413080 hasPublicationYear "2000" @default.
- W1489413080 type Work @default.
- W1489413080 sameAs 1489413080 @default.
- W1489413080 citedByCount "5" @default.
- W1489413080 countsByYear W14894130802023 @default.
- W1489413080 crossrefType "book-chapter" @default.
- W1489413080 hasAuthorship W1489413080A5018169511 @default.
- W1489413080 hasAuthorship W1489413080A5039766794 @default.
- W1489413080 hasBestOaLocation W14894130802 @default.
- W1489413080 hasConcept C115624301 @default.
- W1489413080 hasConcept C136119220 @default.
- W1489413080 hasConcept C151797676 @default.
- W1489413080 hasConcept C153046414 @default.
- W1489413080 hasConcept C167729594 @default.
- W1489413080 hasConcept C169590947 @default.
- W1489413080 hasConcept C177264268 @default.
- W1489413080 hasConcept C185592680 @default.
- W1489413080 hasConcept C18903297 @default.
- W1489413080 hasConcept C199360897 @default.
- W1489413080 hasConcept C202444582 @default.
- W1489413080 hasConcept C203436722 @default.
- W1489413080 hasConcept C2524010 @default.
- W1489413080 hasConcept C2777299769 @default.
- W1489413080 hasConcept C2780624054 @default.
- W1489413080 hasConcept C33923547 @default.
- W1489413080 hasConcept C41008148 @default.
- W1489413080 hasConcept C42383842 @default.
- W1489413080 hasConcept C8010536 @default.
- W1489413080 hasConcept C80444323 @default.
- W1489413080 hasConcept C86803240 @default.
- W1489413080 hasConcept C93682546 @default.
- W1489413080 hasConceptScore W1489413080C115624301 @default.
- W1489413080 hasConceptScore W1489413080C136119220 @default.
- W1489413080 hasConceptScore W1489413080C151797676 @default.
- W1489413080 hasConceptScore W1489413080C153046414 @default.
- W1489413080 hasConceptScore W1489413080C167729594 @default.
- W1489413080 hasConceptScore W1489413080C169590947 @default.
- W1489413080 hasConceptScore W1489413080C177264268 @default.
- W1489413080 hasConceptScore W1489413080C185592680 @default.
- W1489413080 hasConceptScore W1489413080C18903297 @default.
- W1489413080 hasConceptScore W1489413080C199360897 @default.
- W1489413080 hasConceptScore W1489413080C202444582 @default.
- W1489413080 hasConceptScore W1489413080C203436722 @default.
- W1489413080 hasConceptScore W1489413080C2524010 @default.
- W1489413080 hasConceptScore W1489413080C2777299769 @default.
- W1489413080 hasConceptScore W1489413080C2780624054 @default.
- W1489413080 hasConceptScore W1489413080C33923547 @default.
- W1489413080 hasConceptScore W1489413080C41008148 @default.
- W1489413080 hasConceptScore W1489413080C42383842 @default.
- W1489413080 hasConceptScore W1489413080C8010536 @default.
- W1489413080 hasConceptScore W1489413080C80444323 @default.
- W1489413080 hasConceptScore W1489413080C86803240 @default.
- W1489413080 hasConceptScore W1489413080C93682546 @default.
- W1489413080 hasLocation W14894130801 @default.
- W1489413080 hasLocation W14894130802 @default.
- W1489413080 hasOpenAccess W1489413080 @default.
- W1489413080 hasPrimaryLocation W14894130801 @default.
- W1489413080 hasRelatedWork W1573380057 @default.
- W1489413080 hasRelatedWork W1601811574 @default.
- W1489413080 hasRelatedWork W1757338326 @default.
- W1489413080 hasRelatedWork W2029404646 @default.
- W1489413080 hasRelatedWork W2047292526 @default.
- W1489413080 hasRelatedWork W2177866842 @default.
- W1489413080 hasRelatedWork W2192862863 @default.
- W1489413080 hasRelatedWork W2803248237 @default.
- W1489413080 hasRelatedWork W4234755189 @default.
- W1489413080 hasRelatedWork W4297749046 @default.
- W1489413080 isParatext "false" @default.
- W1489413080 isRetracted "false" @default.
- W1489413080 magId "1489413080" @default.
- W1489413080 workType "book-chapter" @default.