Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017264513> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2017264513 endingPage "124" @default.
- W2017264513 startingPage "107" @default.
- W2017264513 abstract "This work shows a bijection between sequent calculus and natural deduction for intuitionistic propositional logic so far as normal and cut-free derivations are concerned." @default.
- W2017264513 created "2016-06-24" @default.
- W2017264513 creator A5073164575 @default.
- W2017264513 creator A5084965727 @default.
- W2017264513 creator A5091129860 @default.
- W2017264513 date "2015-04-01" @default.
- W2017264513 modified "2023-10-01" @default.
- W2017264513 title "Yet Another Bijection Between Sequent Calculus and Natural Deduction" @default.
- W2017264513 cites W1482532876 @default.
- W2017264513 cites W1487717359 @default.
- W2017264513 cites W1488538795 @default.
- W2017264513 cites W1523127832 @default.
- W2017264513 cites W1528126769 @default.
- W2017264513 cites W1528233644 @default.
- W2017264513 cites W159715351 @default.
- W2017264513 cites W1852594029 @default.
- W2017264513 cites W1974637055 @default.
- W2017264513 cites W2020595717 @default.
- W2017264513 cites W2055224523 @default.
- W2017264513 cites W2120926795 @default.
- W2017264513 cites W3135320517 @default.
- W2017264513 cites W389428040 @default.
- W2017264513 cites W657829122 @default.
- W2017264513 doi "https://doi.org/10.1016/j.entcs.2015.04.007" @default.
- W2017264513 hasPublicationYear "2015" @default.
- W2017264513 type Work @default.
- W2017264513 sameAs 2017264513 @default.
- W2017264513 citedByCount "2" @default.
- W2017264513 countsByYear W20172645132017 @default.
- W2017264513 countsByYear W20172645132019 @default.
- W2017264513 crossrefType "journal-article" @default.
- W2017264513 hasAuthorship W2017264513A5073164575 @default.
- W2017264513 hasAuthorship W2017264513A5084965727 @default.
- W2017264513 hasAuthorship W2017264513A5091129860 @default.
- W2017264513 hasBestOaLocation W20172645131 @default.
- W2017264513 hasConcept C108710211 @default.
- W2017264513 hasConcept C111404639 @default.
- W2017264513 hasConcept C118615104 @default.
- W2017264513 hasConcept C136119220 @default.
- W2017264513 hasConcept C199343813 @default.
- W2017264513 hasConcept C202444582 @default.
- W2017264513 hasConcept C24424167 @default.
- W2017264513 hasConcept C2524010 @default.
- W2017264513 hasConcept C2777686260 @default.
- W2017264513 hasConcept C33923547 @default.
- W2017264513 hasConcept C62073222 @default.
- W2017264513 hasConcept C6489637 @default.
- W2017264513 hasConcept C65880906 @default.
- W2017264513 hasConcept C71924100 @default.
- W2017264513 hasConcept C85343465 @default.
- W2017264513 hasConcept C89421646 @default.
- W2017264513 hasConceptScore W2017264513C108710211 @default.
- W2017264513 hasConceptScore W2017264513C111404639 @default.
- W2017264513 hasConceptScore W2017264513C118615104 @default.
- W2017264513 hasConceptScore W2017264513C136119220 @default.
- W2017264513 hasConceptScore W2017264513C199343813 @default.
- W2017264513 hasConceptScore W2017264513C202444582 @default.
- W2017264513 hasConceptScore W2017264513C24424167 @default.
- W2017264513 hasConceptScore W2017264513C2524010 @default.
- W2017264513 hasConceptScore W2017264513C2777686260 @default.
- W2017264513 hasConceptScore W2017264513C33923547 @default.
- W2017264513 hasConceptScore W2017264513C62073222 @default.
- W2017264513 hasConceptScore W2017264513C6489637 @default.
- W2017264513 hasConceptScore W2017264513C65880906 @default.
- W2017264513 hasConceptScore W2017264513C71924100 @default.
- W2017264513 hasConceptScore W2017264513C85343465 @default.
- W2017264513 hasConceptScore W2017264513C89421646 @default.
- W2017264513 hasLocation W20172645131 @default.
- W2017264513 hasOpenAccess W2017264513 @default.
- W2017264513 hasPrimaryLocation W20172645131 @default.
- W2017264513 hasRelatedWork W1562648369 @default.
- W2017264513 hasRelatedWork W1566344352 @default.
- W2017264513 hasRelatedWork W2023557900 @default.
- W2017264513 hasRelatedWork W2137780954 @default.
- W2017264513 hasRelatedWork W2270243227 @default.
- W2017264513 hasRelatedWork W2891688494 @default.
- W2017264513 hasRelatedWork W3090765541 @default.
- W2017264513 hasRelatedWork W4289719533 @default.
- W2017264513 hasRelatedWork W4295728898 @default.
- W2017264513 hasRelatedWork W2584381231 @default.
- W2017264513 hasVolume "312" @default.
- W2017264513 isParatext "false" @default.
- W2017264513 isRetracted "false" @default.
- W2017264513 magId "2017264513" @default.
- W2017264513 workType "article" @default.