FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501841307> ?p ?o ?g. }

• W1501841307 abstract "We present a polynomial translation of dag sequent proofs into tree sequent proofs for first-order classical and intuitionistic logic. The basic idea is to interpret a reference in a dag proof as a lemma application, which is then simulated using an application of the cut rule. The result of this translation is a tree proof with cuts, which are only applied in order to factorize identical subproofs. We illustrate a central application of the presented cut-based translation, that is automated extraction of modular programs from first-order intuitionistic proofs." @default.
• W1501841307 created "2016-06-24" @default.
• W1501841307 creator A5053945031 @default.
• W1501841307 creator A5065693180 @default.
• W1501841307 date "2001-01-01" @default.
• W1501841307 modified "2023-09-27" @default.
• W1501841307 title "Deriving Modular Programs from Short Proofs" @default.
• W1501841307 cites W1481747501 @default.
• W1501841307 cites W1492355854 @default.
• W1501841307 cites W1499443302 @default.
• W1501841307 cites W1503796635 @default.
• W1501841307 cites W1544846403 @default.
• W1501841307 cites W1568774728 @default.
• W1501841307 cites W1894081149 @default.
• W1501841307 cites W1930495812 @default.
• W1501841307 cites W2021790140 @default.
• W1501841307 cites W2039977878 @default.
• W1501841307 cites W2090172107 @default.
• W1501841307 cites W2105747912 @default.
• W1501841307 cites W2149837936 @default.
• W1501841307 cites W26908971 @default.
• W1501841307 cites W4249736722 @default.
• W1501841307 doi "https://doi.org/10.1007/3-540-45744-5_47" @default.
• W1501841307 hasPublicationYear "2001" @default.
• W1501841307 type Work @default.
• W1501841307 sameAs 1501841307 @default.
• W1501841307 citedByCount "0" @default.
• W1501841307 crossrefType "book-chapter" @default.
• W1501841307 hasAuthorship W1501841307A5053945031 @default.
• W1501841307 hasAuthorship W1501841307A5065693180 @default.
• W1501841307 hasConcept C101468663 @default.
• W1501841307 hasConcept C104317684 @default.
• W1501841307 hasConcept C105580179 @default.
• W1501841307 hasConcept C105605280 @default.
• W1501841307 hasConcept C108710211 @default.
• W1501841307 hasConcept C111404639 @default.
• W1501841307 hasConcept C113174947 @default.
• W1501841307 hasConcept C11413529 @default.
• W1501841307 hasConcept C114614502 @default.
• W1501841307 hasConcept C136119220 @default.
• W1501841307 hasConcept C149364088 @default.
• W1501841307 hasConcept C185592680 @default.
• W1501841307 hasConcept C18903297 @default.
• W1501841307 hasConcept C195653647 @default.
• W1501841307 hasConcept C199360897 @default.
• W1501841307 hasConcept C202444582 @default.
• W1501841307 hasConcept C2318724 @default.
• W1501841307 hasConcept C2524010 @default.
• W1501841307 hasConcept C2777759810 @default.
• W1501841307 hasConcept C33923547 @default.
• W1501841307 hasConcept C41008148 @default.
• W1501841307 hasConcept C46757340 @default.
• W1501841307 hasConcept C55493867 @default.
• W1501841307 hasConcept C62073222 @default.
• W1501841307 hasConcept C6489637 @default.
• W1501841307 hasConcept C65880906 @default.
• W1501841307 hasConcept C86803240 @default.
• W1501841307 hasConcept C89421646 @default.
• W1501841307 hasConceptScore W1501841307C101468663 @default.
• W1501841307 hasConceptScore W1501841307C104317684 @default.
• W1501841307 hasConceptScore W1501841307C105580179 @default.
• W1501841307 hasConceptScore W1501841307C105605280 @default.
• W1501841307 hasConceptScore W1501841307C108710211 @default.
• W1501841307 hasConceptScore W1501841307C111404639 @default.
• W1501841307 hasConceptScore W1501841307C113174947 @default.
• W1501841307 hasConceptScore W1501841307C11413529 @default.
• W1501841307 hasConceptScore W1501841307C114614502 @default.
• W1501841307 hasConceptScore W1501841307C136119220 @default.
• W1501841307 hasConceptScore W1501841307C149364088 @default.
• W1501841307 hasConceptScore W1501841307C185592680 @default.
• W1501841307 hasConceptScore W1501841307C18903297 @default.
• W1501841307 hasConceptScore W1501841307C195653647 @default.
• W1501841307 hasConceptScore W1501841307C199360897 @default.
• W1501841307 hasConceptScore W1501841307C202444582 @default.
• W1501841307 hasConceptScore W1501841307C2318724 @default.
• W1501841307 hasConceptScore W1501841307C2524010 @default.
• W1501841307 hasConceptScore W1501841307C2777759810 @default.
• W1501841307 hasConceptScore W1501841307C33923547 @default.
• W1501841307 hasConceptScore W1501841307C41008148 @default.
• W1501841307 hasConceptScore W1501841307C46757340 @default.
• W1501841307 hasConceptScore W1501841307C55493867 @default.
• W1501841307 hasConceptScore W1501841307C62073222 @default.
• W1501841307 hasConceptScore W1501841307C6489637 @default.
• W1501841307 hasConceptScore W1501841307C65880906 @default.
• W1501841307 hasConceptScore W1501841307C86803240 @default.
• W1501841307 hasConceptScore W1501841307C89421646 @default.
• W1501841307 hasLocation W15018413071 @default.
• W1501841307 hasOpenAccess W1501841307 @default.
• W1501841307 hasPrimaryLocation W15018413071 @default.
• W1501841307 hasRelatedWork W1483284084 @default.
• W1501841307 hasRelatedWork W1533033982 @default.
• W1501841307 hasRelatedWork W1550921032 @default.
• W1501841307 hasRelatedWork W1558816505 @default.
• W1501841307 hasRelatedWork W1559353352 @default.
• W1501841307 hasRelatedWork W1584852451 @default.
• W1501841307 hasRelatedWork W1598572838 @default.
• W1501841307 hasRelatedWork W1607964314 @default.
• W1501841307 hasRelatedWork W1608764256 @default.
• W1501841307 hasRelatedWork W1852594029 @default.
• W1501841307 hasRelatedWork W1894081149 @default.

• next