Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950961618> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2950961618 abstract "Mella is a minimalistic dependently typed programming language and interactive theorem prover implemented in Haskell. Its main purpose is to investigate the effective integration of automated theorem provers in a pure and simple setting. Such integrations are essential for supporting program development in dependently typed languages. We integrate the equational theorem prover Waldmeister and test it on more than 800 proof goals from the TPTP library. In contrast to previous approaches, the reconstruction of Waldmeister proofs within Mella is quite robust and does not generate a significant overhead to proof search. Mella thus yields a template for integrating more expressive theorem provers in more sophisticated languages." @default.
- W2950961618 created "2019-06-27" @default.
- W2950961618 creator A5004734550 @default.
- W2950961618 creator A5018039260 @default.
- W2950961618 creator A5081586925 @default.
- W2950961618 date "2011-12-16" @default.
- W2950961618 modified "2023-09-27" @default.
- W2950961618 title "Dependently Typed Programming based on Automated Theorem Proving" @default.
- W2950961618 cites W1508641834 @default.
- W2950961618 cites W15103390 @default.
- W2950961618 cites W1514486135 @default.
- W2950961618 cites W1548261674 @default.
- W2950961618 cites W1553136405 @default.
- W2950961618 cites W1558175043 @default.
- W2950961618 cites W1573992413 @default.
- W2950961618 cites W1578634556 @default.
- W2950961618 cites W1789702989 @default.
- W2950961618 cites W1806292759 @default.
- W2950961618 cites W1968386045 @default.
- W2950961618 cites W2019626268 @default.
- W2950961618 cites W2078334802 @default.
- W2950961618 cites W208087222 @default.
- W2950961618 cites W2091657052 @default.
- W2950961618 cites W2128057448 @default.
- W2950961618 cites W2402296188 @default.
- W2950961618 cites W2749479972 @default.
- W2950961618 cites W3102482356 @default.
- W2950961618 cites W81349459 @default.
- W2950961618 hasPublicationYear "2011" @default.
- W2950961618 type Work @default.
- W2950961618 sameAs 2950961618 @default.
- W2950961618 citedByCount "1" @default.
- W2950961618 countsByYear W29509616182018 @default.
- W2950961618 crossrefType "posted-content" @default.
- W2950961618 hasAuthorship W2950961618A5004734550 @default.
- W2950961618 hasAuthorship W2950961618A5018039260 @default.
- W2950961618 hasAuthorship W2950961618A5081586925 @default.
- W2950961618 hasConcept C108710211 @default.
- W2950961618 hasConcept C13766981 @default.
- W2950961618 hasConcept C159718280 @default.
- W2950961618 hasConcept C199343813 @default.
- W2950961618 hasConcept C199360897 @default.
- W2950961618 hasConcept C203265346 @default.
- W2950961618 hasConcept C206880738 @default.
- W2950961618 hasConcept C2524010 @default.
- W2950961618 hasConcept C2777686260 @default.
- W2950961618 hasConcept C2780624054 @default.
- W2950961618 hasConcept C33923547 @default.
- W2950961618 hasConcept C41008148 @default.
- W2950961618 hasConcept C42383842 @default.
- W2950961618 hasConcept C71924100 @default.
- W2950961618 hasConcept C80444323 @default.
- W2950961618 hasConceptScore W2950961618C108710211 @default.
- W2950961618 hasConceptScore W2950961618C13766981 @default.
- W2950961618 hasConceptScore W2950961618C159718280 @default.
- W2950961618 hasConceptScore W2950961618C199343813 @default.
- W2950961618 hasConceptScore W2950961618C199360897 @default.
- W2950961618 hasConceptScore W2950961618C203265346 @default.
- W2950961618 hasConceptScore W2950961618C206880738 @default.
- W2950961618 hasConceptScore W2950961618C2524010 @default.
- W2950961618 hasConceptScore W2950961618C2777686260 @default.
- W2950961618 hasConceptScore W2950961618C2780624054 @default.
- W2950961618 hasConceptScore W2950961618C33923547 @default.
- W2950961618 hasConceptScore W2950961618C41008148 @default.
- W2950961618 hasConceptScore W2950961618C42383842 @default.
- W2950961618 hasConceptScore W2950961618C71924100 @default.
- W2950961618 hasConceptScore W2950961618C80444323 @default.
- W2950961618 hasLocation W29509616181 @default.
- W2950961618 hasOpenAccess W2950961618 @default.
- W2950961618 hasPrimaryLocation W29509616181 @default.
- W2950961618 hasRelatedWork W1508520904 @default.
- W2950961618 hasRelatedWork W1515169568 @default.
- W2950961618 hasRelatedWork W1538072621 @default.
- W2950961618 hasRelatedWork W1636183340 @default.
- W2950961618 hasRelatedWork W1789702989 @default.
- W2950961618 hasRelatedWork W1861293286 @default.
- W2950961618 hasRelatedWork W1965378187 @default.
- W2950961618 hasRelatedWork W2014904806 @default.
- W2950961618 hasRelatedWork W2041093119 @default.
- W2950961618 hasRelatedWork W2076671809 @default.
- W2950961618 hasRelatedWork W2100855196 @default.
- W2950961618 hasRelatedWork W2123470495 @default.
- W2950961618 hasRelatedWork W2124145386 @default.
- W2950961618 hasRelatedWork W2139859460 @default.
- W2950961618 hasRelatedWork W2170471756 @default.
- W2950961618 hasRelatedWork W2246135666 @default.
- W2950961618 hasRelatedWork W2271445772 @default.
- W2950961618 hasRelatedWork W2794445294 @default.
- W2950961618 hasRelatedWork W3100311625 @default.
- W2950961618 hasRelatedWork W3122405358 @default.
- W2950961618 isParatext "false" @default.
- W2950961618 isRetracted "false" @default.
- W2950961618 magId "2950961618" @default.
- W2950961618 workType "article" @default.