Matches in SemOpenAlex for { <https://semopenalex.org/work/W2529550398> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2529550398 abstract "We present subsingleton logic as a very small fragment of linear logic containing only (oplus ), (mathbf {1}), least fixed points and allowing circular proofs. We show that cut-free proofs in this logic are in a Curry–Howard correspondence with subsequential finite state transducers. Constructions on finite state automata and transducers such as composition, complement, and inverse homomorphism can then be realized uniformly simply by cut and cut elimination. If we freely allow cuts in the proofs, they correspond to a well-typed class of machines we call linear communicating automata, which can also be seen as a generalization of Turing machines with multiple, concurrently operating read/write heads." @default.
- W2529550398 created "2016-10-14" @default.
- W2529550398 creator A5021476649 @default.
- W2529550398 creator A5084028410 @default.
- W2529550398 date "2016-01-01" @default.
- W2529550398 modified "2023-10-14" @default.
- W2529550398 title "Substructural Proofs as Automata" @default.
- W2529550398 cites W1607623316 @default.
- W2529550398 cites W18866292 @default.
- W2529550398 cites W1973312452 @default.
- W2529550398 cites W2002796887 @default.
- W2529550398 cites W2086727636 @default.
- W2529550398 cites W2088881461 @default.
- W2529550398 cites W2088962847 @default.
- W2529550398 cites W2126160338 @default.
- W2529550398 cites W2911865844 @default.
- W2529550398 doi "https://doi.org/10.1007/978-3-319-47958-3_1" @default.
- W2529550398 hasPublicationYear "2016" @default.
- W2529550398 type Work @default.
- W2529550398 sameAs 2529550398 @default.
- W2529550398 citedByCount "4" @default.
- W2529550398 countsByYear W25295503982019 @default.
- W2529550398 countsByYear W25295503982020 @default.
- W2529550398 countsByYear W25295503982022 @default.
- W2529550398 crossrefType "book-chapter" @default.
- W2529550398 hasAuthorship W2529550398A5021476649 @default.
- W2529550398 hasAuthorship W2529550398A5084028410 @default.
- W2529550398 hasConcept C104317684 @default.
- W2529550398 hasConcept C108710211 @default.
- W2529550398 hasConcept C112313634 @default.
- W2529550398 hasConcept C112505250 @default.
- W2529550398 hasConcept C11413529 @default.
- W2529550398 hasConcept C116248031 @default.
- W2529550398 hasConcept C118615104 @default.
- W2529550398 hasConcept C127716648 @default.
- W2529550398 hasConcept C134306372 @default.
- W2529550398 hasConcept C167822520 @default.
- W2529550398 hasConcept C177148314 @default.
- W2529550398 hasConcept C185592680 @default.
- W2529550398 hasConcept C188082640 @default.
- W2529550398 hasConcept C2524010 @default.
- W2529550398 hasConcept C28077239 @default.
- W2529550398 hasConcept C29248071 @default.
- W2529550398 hasConcept C33923547 @default.
- W2529550398 hasConcept C4042151 @default.
- W2529550398 hasConcept C41008148 @default.
- W2529550398 hasConcept C45374587 @default.
- W2529550398 hasConcept C55493867 @default.
- W2529550398 hasConcept C80444323 @default.
- W2529550398 hasConceptScore W2529550398C104317684 @default.
- W2529550398 hasConceptScore W2529550398C108710211 @default.
- W2529550398 hasConceptScore W2529550398C112313634 @default.
- W2529550398 hasConceptScore W2529550398C112505250 @default.
- W2529550398 hasConceptScore W2529550398C11413529 @default.
- W2529550398 hasConceptScore W2529550398C116248031 @default.
- W2529550398 hasConceptScore W2529550398C118615104 @default.
- W2529550398 hasConceptScore W2529550398C127716648 @default.
- W2529550398 hasConceptScore W2529550398C134306372 @default.
- W2529550398 hasConceptScore W2529550398C167822520 @default.
- W2529550398 hasConceptScore W2529550398C177148314 @default.
- W2529550398 hasConceptScore W2529550398C185592680 @default.
- W2529550398 hasConceptScore W2529550398C188082640 @default.
- W2529550398 hasConceptScore W2529550398C2524010 @default.
- W2529550398 hasConceptScore W2529550398C28077239 @default.
- W2529550398 hasConceptScore W2529550398C29248071 @default.
- W2529550398 hasConceptScore W2529550398C33923547 @default.
- W2529550398 hasConceptScore W2529550398C4042151 @default.
- W2529550398 hasConceptScore W2529550398C41008148 @default.
- W2529550398 hasConceptScore W2529550398C45374587 @default.
- W2529550398 hasConceptScore W2529550398C55493867 @default.
- W2529550398 hasConceptScore W2529550398C80444323 @default.
- W2529550398 hasLocation W25295503981 @default.
- W2529550398 hasOpenAccess W2529550398 @default.
- W2529550398 hasPrimaryLocation W25295503981 @default.
- W2529550398 hasRelatedWork W1563255274 @default.
- W2529550398 hasRelatedWork W1673357231 @default.
- W2529550398 hasRelatedWork W1788369186 @default.
- W2529550398 hasRelatedWork W1997746628 @default.
- W2529550398 hasRelatedWork W2008943448 @default.
- W2529550398 hasRelatedWork W2033511054 @default.
- W2529550398 hasRelatedWork W2039192691 @default.
- W2529550398 hasRelatedWork W2044084653 @default.
- W2529550398 hasRelatedWork W2048052050 @default.
- W2529550398 hasRelatedWork W2111599734 @default.
- W2529550398 hasRelatedWork W2146002534 @default.
- W2529550398 hasRelatedWork W2278693202 @default.
- W2529550398 hasRelatedWork W2593922118 @default.
- W2529550398 hasRelatedWork W2612243066 @default.
- W2529550398 hasRelatedWork W2754945231 @default.
- W2529550398 hasRelatedWork W3021454207 @default.
- W2529550398 hasRelatedWork W3037332318 @default.
- W2529550398 hasRelatedWork W3103534563 @default.
- W2529550398 hasRelatedWork W3105604159 @default.
- W2529550398 hasRelatedWork W1880819836 @default.
- W2529550398 isParatext "false" @default.
- W2529550398 isRetracted "false" @default.
- W2529550398 magId "2529550398" @default.
- W2529550398 workType "book-chapter" @default.