Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951910900> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2951910900 abstract "Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synthesis of a program the type of which is a given formula. We present a model of automata that can handle proof construction in full intuitionistic first-order logic. The automata are constructed in such a way that any successful run corresponds directly to a normal proof in the logic. This makes it possible to discuss formal languages of proofs or programs, the closure properties of the automata and their connections with the traditional logical connectives." @default.
- W2951910900 created "2019-06-27" @default.
- W2951910900 creator A5012013814 @default.
- W2951910900 creator A5053239978 @default.
- W2951910900 date "2016-08-19" @default.
- W2951910900 modified "2023-09-27" @default.
- W2951910900 title "Automata Theory Approach to Predicate Intuitionistic Logic" @default.
- W2951910900 cites W1944541449 @default.
- W2951910900 cites W2196653126 @default.
- W2951910900 hasPublicationYear "2016" @default.
- W2951910900 type Work @default.
- W2951910900 sameAs 2951910900 @default.
- W2951910900 citedByCount "0" @default.
- W2951910900 crossrefType "posted-content" @default.
- W2951910900 hasAuthorship W2951910900A5012013814 @default.
- W2951910900 hasAuthorship W2951910900A5053239978 @default.
- W2951910900 hasConcept C100481476 @default.
- W2951910900 hasConcept C102993220 @default.
- W2951910900 hasConcept C108710211 @default.
- W2951910900 hasConcept C110039528 @default.
- W2951910900 hasConcept C112505250 @default.
- W2951910900 hasConcept C118615104 @default.
- W2951910900 hasConcept C140146324 @default.
- W2951910900 hasConcept C169896238 @default.
- W2951910900 hasConcept C178421362 @default.
- W2951910900 hasConcept C18903297 @default.
- W2951910900 hasConcept C19689857 @default.
- W2951910900 hasConcept C199360897 @default.
- W2951910900 hasConcept C203659156 @default.
- W2951910900 hasConcept C2524010 @default.
- W2951910900 hasConcept C2777299769 @default.
- W2951910900 hasConcept C28077239 @default.
- W2951910900 hasConcept C33203268 @default.
- W2951910900 hasConcept C33923547 @default.
- W2951910900 hasConcept C41008148 @default.
- W2951910900 hasConcept C73314972 @default.
- W2951910900 hasConcept C80444323 @default.
- W2951910900 hasConcept C86803240 @default.
- W2951910900 hasConcept C93682546 @default.
- W2951910900 hasConceptScore W2951910900C100481476 @default.
- W2951910900 hasConceptScore W2951910900C102993220 @default.
- W2951910900 hasConceptScore W2951910900C108710211 @default.
- W2951910900 hasConceptScore W2951910900C110039528 @default.
- W2951910900 hasConceptScore W2951910900C112505250 @default.
- W2951910900 hasConceptScore W2951910900C118615104 @default.
- W2951910900 hasConceptScore W2951910900C140146324 @default.
- W2951910900 hasConceptScore W2951910900C169896238 @default.
- W2951910900 hasConceptScore W2951910900C178421362 @default.
- W2951910900 hasConceptScore W2951910900C18903297 @default.
- W2951910900 hasConceptScore W2951910900C19689857 @default.
- W2951910900 hasConceptScore W2951910900C199360897 @default.
- W2951910900 hasConceptScore W2951910900C203659156 @default.
- W2951910900 hasConceptScore W2951910900C2524010 @default.
- W2951910900 hasConceptScore W2951910900C2777299769 @default.
- W2951910900 hasConceptScore W2951910900C28077239 @default.
- W2951910900 hasConceptScore W2951910900C33203268 @default.
- W2951910900 hasConceptScore W2951910900C33923547 @default.
- W2951910900 hasConceptScore W2951910900C41008148 @default.
- W2951910900 hasConceptScore W2951910900C73314972 @default.
- W2951910900 hasConceptScore W2951910900C80444323 @default.
- W2951910900 hasConceptScore W2951910900C86803240 @default.
- W2951910900 hasConceptScore W2951910900C93682546 @default.
- W2951910900 hasLocation W29519109001 @default.
- W2951910900 hasOpenAccess W2951910900 @default.
- W2951910900 hasPrimaryLocation W29519109001 @default.
- W2951910900 hasRelatedWork W1537907223 @default.
- W2951910900 hasRelatedWork W1563093831 @default.
- W2951910900 hasRelatedWork W1587919740 @default.
- W2951910900 hasRelatedWork W1643700551 @default.
- W2951910900 hasRelatedWork W1902641025 @default.
- W2951910900 hasRelatedWork W1951369434 @default.
- W2951910900 hasRelatedWork W1963559850 @default.
- W2951910900 hasRelatedWork W1969658529 @default.
- W2951910900 hasRelatedWork W1971424167 @default.
- W2951910900 hasRelatedWork W1992606256 @default.
- W2951910900 hasRelatedWork W2013072167 @default.
- W2951910900 hasRelatedWork W2038737679 @default.
- W2951910900 hasRelatedWork W2051609898 @default.
- W2951910900 hasRelatedWork W2053963560 @default.
- W2951910900 hasRelatedWork W2094819849 @default.
- W2951910900 hasRelatedWork W2511495980 @default.
- W2951910900 hasRelatedWork W2896648705 @default.
- W2951910900 hasRelatedWork W2920964902 @default.
- W2951910900 hasRelatedWork W3158093902 @default.
- W2951910900 hasRelatedWork W63047115 @default.
- W2951910900 isParatext "false" @default.
- W2951910900 isRetracted "false" @default.
- W2951910900 magId "2951910900" @default.
- W2951910900 workType "article" @default.