FRINK Linked Data Fragments server

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

• W2015519619 endingPage "14" @default.
• W2015519619 startingPage "2" @default.
• W2015519619 abstract "We present recursion theoretical characterizations of the computational power of Turing machines in the framework of unsharp quantum logic. For unsharp quantum logic, let a lattice ordered quantum multiple valued (QMV) algebra be its truth value lattice. When lattice ordered QMV algebras satisfy a locally finite condition (that is, every non-zero element has a finite order) and its meet operation, ∧, is computable, we prove that Σ10∪Π10⊆LdT(E,Σ)(or LwT(E,Σ))⊆Π20, where LdT(E,Σ)(respectively LwT(E,Σ)) denotes the class of languages accepted by these Turing machines in the depth-first method (respectively the width-first method). For sharp quantum logic, similar results are obtained for a general orthomodular truth value lattice." @default.
• W2015519619 created "2016-06-24" @default.
• W2015519619 creator A5025830884 @default.
• W2015519619 creator A5045561081 @default.
• W2015519619 creator A5056628026 @default.
• W2015519619 date "2015-09-01" @default.
• W2015519619 modified "2023-10-14" @default.
• W2015519619 title "Computing power of Turing machines in the framework of unsharp quantum logic" @default.
• W2015519619 cites W1592307438 @default.
• W2015519619 cites W1594567376 @default.
• W2015519619 cites W166240935 @default.
• W2015519619 cites W1993688167 @default.
• W2015519619 cites W2009185561 @default.
• W2015519619 cites W2010050150 @default.
• W2015519619 cites W2012072427 @default.
• W2015519619 cites W2026220857 @default.
• W2015519619 cites W2028168675 @default.
• W2015519619 cites W2035423077 @default.
• W2015519619 cites W2041518499 @default.
• W2015519619 cites W2048106301 @default.
• W2015519619 cites W2080412456 @default.
• W2015519619 cites W2087997688 @default.
• W2015519619 cites W2094858455 @default.
• W2015519619 cites W2144829830 @default.
• W2015519619 cites W2148132004 @default.
• W2015519619 cites W2169606996 @default.
• W2015519619 cites W2179731956 @default.
• W2015519619 cites W2334479268 @default.
• W2015519619 cites W3102357854 @default.
• W2015519619 cites W3126996113 @default.
• W2015519619 cites W4244515670 @default.
• W2015519619 cites W59398533 @default.
• W2015519619 doi "https://doi.org/10.1016/j.tcs.2014.12.015" @default.
• W2015519619 hasPublicationYear "2015" @default.
• W2015519619 type Work @default.
• W2015519619 sameAs 2015519619 @default.
• W2015519619 citedByCount "2" @default.
• W2015519619 countsByYear W20155196192023 @default.
• W2015519619 crossrefType "journal-article" @default.
• W2015519619 hasAuthorship W2015519619A5025830884 @default.
• W2015519619 hasAuthorship W2015519619A5045561081 @default.
• W2015519619 hasAuthorship W2015519619A5056628026 @default.
• W2015519619 hasBestOaLocation W20155196191 @default.
• W2015519619 hasConcept C11413529 @default.
• W2015519619 hasConcept C118615104 @default.
• W2015519619 hasConcept C121332964 @default.
• W2015519619 hasConcept C131671149 @default.
• W2015519619 hasConcept C136119220 @default.
• W2015519619 hasConcept C169460222 @default.
• W2015519619 hasConcept C186468114 @default.
• W2015519619 hasConcept C192061203 @default.
• W2015519619 hasConcept C202444582 @default.
• W2015519619 hasConcept C24890656 @default.
• W2015519619 hasConcept C2781204021 @default.
• W2015519619 hasConcept C29248071 @default.
• W2015519619 hasConcept C31402856 @default.
• W2015519619 hasConcept C33923547 @default.
• W2015519619 hasConcept C41008148 @default.
• W2015519619 hasConcept C45374587 @default.
• W2015519619 hasConcept C58053490 @default.
• W2015519619 hasConcept C62520636 @default.
• W2015519619 hasConcept C80444323 @default.
• W2015519619 hasConcept C84114770 @default.
• W2015519619 hasConceptScore W2015519619C11413529 @default.
• W2015519619 hasConceptScore W2015519619C118615104 @default.
• W2015519619 hasConceptScore W2015519619C121332964 @default.
• W2015519619 hasConceptScore W2015519619C131671149 @default.
• W2015519619 hasConceptScore W2015519619C136119220 @default.
• W2015519619 hasConceptScore W2015519619C169460222 @default.
• W2015519619 hasConceptScore W2015519619C186468114 @default.
• W2015519619 hasConceptScore W2015519619C192061203 @default.
• W2015519619 hasConceptScore W2015519619C202444582 @default.
• W2015519619 hasConceptScore W2015519619C24890656 @default.
• W2015519619 hasConceptScore W2015519619C2781204021 @default.
• W2015519619 hasConceptScore W2015519619C29248071 @default.
• W2015519619 hasConceptScore W2015519619C31402856 @default.
• W2015519619 hasConceptScore W2015519619C33923547 @default.
• W2015519619 hasConceptScore W2015519619C41008148 @default.
• W2015519619 hasConceptScore W2015519619C45374587 @default.
• W2015519619 hasConceptScore W2015519619C58053490 @default.
• W2015519619 hasConceptScore W2015519619C62520636 @default.
• W2015519619 hasConceptScore W2015519619C80444323 @default.
• W2015519619 hasConceptScore W2015519619C84114770 @default.
• W2015519619 hasFunder F4320321001 @default.
• W2015519619 hasLocation W20155196191 @default.
• W2015519619 hasOpenAccess W2015519619 @default.
• W2015519619 hasPrimaryLocation W20155196191 @default.
• W2015519619 hasRelatedWork W1527973804 @default.
• W2015519619 hasRelatedWork W1591752890 @default.
• W2015519619 hasRelatedWork W1634931434 @default.
• W2015519619 hasRelatedWork W2026592740 @default.
• W2015519619 hasRelatedWork W2101265578 @default.
• W2015519619 hasRelatedWork W2148132004 @default.
• W2015519619 hasRelatedWork W2567274518 @default.
• W2015519619 hasRelatedWork W2950943469 @default.
• W2015519619 hasRelatedWork W3038380712 @default.
• W2015519619 hasRelatedWork W2561565440 @default.
• W2015519619 hasVolume "598" @default.

• next