Matches in SemOpenAlex for { <https://semopenalex.org/work/W2277709295> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2277709295 endingPage "127" @default.
- W2277709295 startingPage "110" @default.
- W2277709295 abstract "Recently a new connection between proof theory and formal language theory was introduced. It was shown that the operation of cut elimination for proofs with prenex Pi_1-cuts in classical first-order logic corresponds to computing the language of a particular type of tree grammars. The present paper extends this connection to arbitrary (i.e. non-prenex) cuts without quantifier alternations. The key to treating non-prenex cuts lies in using a new class of tree grammars, constraint grammars, which describe the relationship of the applicability of its productions by a propositional formula." @default.
- W2277709295 created "2016-06-24" @default.
- W2277709295 creator A5058192101 @default.
- W2277709295 creator A5068948070 @default.
- W2277709295 date "2015-01-01" @default.
- W2277709295 modified "2023-10-14" @default.
- W2277709295 title "Tree Grammars for the Elimination of Non-prenex Cuts" @default.
- W2277709295 cites W14789509 @default.
- W2277709295 cites W1659517711 @default.
- W2277709295 cites W1911287697 @default.
- W2277709295 cites W1975810242 @default.
- W2277709295 cites W1990529320 @default.
- W2277709295 cites W1999259832 @default.
- W2277709295 cites W2006510146 @default.
- W2277709295 cites W2032033497 @default.
- W2277709295 cites W2033019111 @default.
- W2277709295 cites W2052653988 @default.
- W2277709295 cites W2082381286 @default.
- W2277709295 cites W2084443499 @default.
- W2277709295 cites W2113711982 @default.
- W2277709295 cites W2143374829 @default.
- W2277709295 cites W2204729546 @default.
- W2277709295 cites W2240567774 @default.
- W2277709295 cites W2908059907 @default.
- W2277709295 cites W955677872 @default.
- W2277709295 doi "https://doi.org/10.4230/lipics.csl.2015.110" @default.
- W2277709295 hasPublicationYear "2015" @default.
- W2277709295 type Work @default.
- W2277709295 sameAs 2277709295 @default.
- W2277709295 citedByCount "0" @default.
- W2277709295 crossrefType "proceedings-article" @default.
- W2277709295 hasAuthorship W2277709295A5058192101 @default.
- W2277709295 hasAuthorship W2277709295A5068948070 @default.
- W2277709295 hasConcept C108710211 @default.
- W2277709295 hasConcept C113174947 @default.
- W2277709295 hasConcept C114614502 @default.
- W2277709295 hasConcept C118615104 @default.
- W2277709295 hasConcept C13355873 @default.
- W2277709295 hasConcept C134083981 @default.
- W2277709295 hasConcept C154945302 @default.
- W2277709295 hasConcept C199360897 @default.
- W2277709295 hasConcept C2524010 @default.
- W2277709295 hasConcept C2778523021 @default.
- W2277709295 hasConcept C33923547 @default.
- W2277709295 hasConcept C41008148 @default.
- W2277709295 hasConcept C53893814 @default.
- W2277709295 hasConcept C67621940 @default.
- W2277709295 hasConcept C80444323 @default.
- W2277709295 hasConcept C97212296 @default.
- W2277709295 hasConceptScore W2277709295C108710211 @default.
- W2277709295 hasConceptScore W2277709295C113174947 @default.
- W2277709295 hasConceptScore W2277709295C114614502 @default.
- W2277709295 hasConceptScore W2277709295C118615104 @default.
- W2277709295 hasConceptScore W2277709295C13355873 @default.
- W2277709295 hasConceptScore W2277709295C134083981 @default.
- W2277709295 hasConceptScore W2277709295C154945302 @default.
- W2277709295 hasConceptScore W2277709295C199360897 @default.
- W2277709295 hasConceptScore W2277709295C2524010 @default.
- W2277709295 hasConceptScore W2277709295C2778523021 @default.
- W2277709295 hasConceptScore W2277709295C33923547 @default.
- W2277709295 hasConceptScore W2277709295C41008148 @default.
- W2277709295 hasConceptScore W2277709295C53893814 @default.
- W2277709295 hasConceptScore W2277709295C67621940 @default.
- W2277709295 hasConceptScore W2277709295C80444323 @default.
- W2277709295 hasConceptScore W2277709295C97212296 @default.
- W2277709295 hasLocation W22777092951 @default.
- W2277709295 hasOpenAccess W2277709295 @default.
- W2277709295 hasPrimaryLocation W22777092951 @default.
- W2277709295 hasRelatedWork W1568774728 @default.
- W2277709295 hasRelatedWork W1573739954 @default.
- W2277709295 hasRelatedWork W1695339719 @default.
- W2277709295 hasRelatedWork W2014024837 @default.
- W2277709295 hasRelatedWork W2020453924 @default.
- W2277709295 hasRelatedWork W2187583458 @default.
- W2277709295 hasRelatedWork W2270243227 @default.
- W2277709295 hasRelatedWork W2736163332 @default.
- W2277709295 hasRelatedWork W2768246366 @default.
- W2277709295 hasRelatedWork W2800852260 @default.
- W2277709295 hasRelatedWork W2902193508 @default.
- W2277709295 hasRelatedWork W2907165685 @default.
- W2277709295 hasRelatedWork W2955384209 @default.
- W2277709295 hasRelatedWork W2963580724 @default.
- W2277709295 hasRelatedWork W2969501000 @default.
- W2277709295 hasRelatedWork W2969582419 @default.
- W2277709295 hasRelatedWork W3016713933 @default.
- W2277709295 hasRelatedWork W3048660340 @default.
- W2277709295 hasRelatedWork W3198628855 @default.
- W2277709295 hasRelatedWork W323523550 @default.
- W2277709295 hasVolume "41" @default.
- W2277709295 isParatext "false" @default.
- W2277709295 isRetracted "false" @default.
- W2277709295 magId "2277709295" @default.
- W2277709295 workType "article" @default.