Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522260571> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2522260571 endingPage "468" @default.
- W2522260571 startingPage "459" @default.
- W2522260571 abstract "The programming environment FoCaLiZe allows the user to specify, implement, and prove programs with the help of the theorem prover Zenon. In the actual version, those proofs are verified by Coq. In this paper we propose to extend the FoCaLiZe compiler by a backend to the Dedukti language in order to benefit from Zenon Modulo, an extension of Zenon for Deduction modulo. By doing so, FoCaLiZe can benefit from a technique for finding and verifying proofs more quickly. The paper focuses mainly on the process that overcomes the lack of local pattern-matching and recursive definitions in Dedukti." @default.
- W2522260571 created "2016-09-30" @default.
- W2522260571 creator A5024896359 @default.
- W2522260571 creator A5061217918 @default.
- W2522260571 date "2016-01-01" @default.
- W2522260571 modified "2023-10-05" @default.
- W2522260571 title "ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti" @default.
- W2522260571 cites W129696796 @default.
- W2522260571 cites W1493752083 @default.
- W2522260571 cites W1571471466 @default.
- W2522260571 cites W1878755246 @default.
- W2522260571 cites W2038167131 @default.
- W2522260571 cites W2099473324 @default.
- W2522260571 cites W2112594729 @default.
- W2522260571 cites W2461166840 @default.
- W2522260571 cites W3147060349 @default.
- W2522260571 cites W3148140844 @default.
- W2522260571 doi "https://doi.org/10.1007/978-3-319-46750-4_26" @default.
- W2522260571 hasPublicationYear "2016" @default.
- W2522260571 type Work @default.
- W2522260571 sameAs 2522260571 @default.
- W2522260571 citedByCount "3" @default.
- W2522260571 countsByYear W25222605712017 @default.
- W2522260571 countsByYear W25222605712018 @default.
- W2522260571 countsByYear W25222605712019 @default.
- W2522260571 crossrefType "book-chapter" @default.
- W2522260571 hasAuthorship W2522260571A5024896359 @default.
- W2522260571 hasAuthorship W2522260571A5061217918 @default.
- W2522260571 hasBestOaLocation W25222605712 @default.
- W2522260571 hasConcept C105795698 @default.
- W2522260571 hasConcept C108710211 @default.
- W2522260571 hasConcept C118615104 @default.
- W2522260571 hasConcept C154690210 @default.
- W2522260571 hasConcept C165064840 @default.
- W2522260571 hasConcept C168773036 @default.
- W2522260571 hasConcept C169590947 @default.
- W2522260571 hasConcept C199360897 @default.
- W2522260571 hasConcept C206880738 @default.
- W2522260571 hasConcept C2524010 @default.
- W2522260571 hasConcept C33923547 @default.
- W2522260571 hasConcept C41008148 @default.
- W2522260571 hasConcept C54732982 @default.
- W2522260571 hasConcept C80444323 @default.
- W2522260571 hasConceptScore W2522260571C105795698 @default.
- W2522260571 hasConceptScore W2522260571C108710211 @default.
- W2522260571 hasConceptScore W2522260571C118615104 @default.
- W2522260571 hasConceptScore W2522260571C154690210 @default.
- W2522260571 hasConceptScore W2522260571C165064840 @default.
- W2522260571 hasConceptScore W2522260571C168773036 @default.
- W2522260571 hasConceptScore W2522260571C169590947 @default.
- W2522260571 hasConceptScore W2522260571C199360897 @default.
- W2522260571 hasConceptScore W2522260571C206880738 @default.
- W2522260571 hasConceptScore W2522260571C2524010 @default.
- W2522260571 hasConceptScore W2522260571C33923547 @default.
- W2522260571 hasConceptScore W2522260571C41008148 @default.
- W2522260571 hasConceptScore W2522260571C54732982 @default.
- W2522260571 hasConceptScore W2522260571C80444323 @default.
- W2522260571 hasLocation W25222605711 @default.
- W2522260571 hasLocation W25222605712 @default.
- W2522260571 hasLocation W25222605713 @default.
- W2522260571 hasLocation W25222605714 @default.
- W2522260571 hasOpenAccess W2522260571 @default.
- W2522260571 hasPrimaryLocation W25222605711 @default.
- W2522260571 hasRelatedWork W1462102326 @default.
- W2522260571 hasRelatedWork W1548342449 @default.
- W2522260571 hasRelatedWork W1796293478 @default.
- W2522260571 hasRelatedWork W1976790138 @default.
- W2522260571 hasRelatedWork W2105713543 @default.
- W2522260571 hasRelatedWork W2111172916 @default.
- W2522260571 hasRelatedWork W2120204135 @default.
- W2522260571 hasRelatedWork W2139396251 @default.
- W2522260571 hasRelatedWork W4312716460 @default.
- W2522260571 hasRelatedWork W4386363566 @default.
- W2522260571 isParatext "false" @default.
- W2522260571 isRetracted "false" @default.
- W2522260571 magId "2522260571" @default.
- W2522260571 workType "book-chapter" @default.