Matches in SemOpenAlex for { <https://semopenalex.org/work/W2249251310> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2249251310 abstract "We adapt the 'mosaics' technique of Reynolds 1997 (in turn an adaption of Németi 1986) achieving decidability for the (non local) Ockhamist logic of (upward endless) bundled trees. We produce a double exponential time procedure, thus improving the complexity upper bound of the problem - so far relying on the non elementary procedure of the Rabin's Theorem (Burgess 1979)." @default.
- W2249251310 created "2016-06-24" @default.
- W2249251310 creator A5050627897 @default.
- W2249251310 date "2015-09-01" @default.
- W2249251310 modified "2023-10-17" @default.
- W2249251310 title "Decidability via Mosaics for Bundled Ockhamist Logic" @default.
- W2249251310 cites W1525691290 @default.
- W2249251310 cites W1979405912 @default.
- W2249251310 cites W1988434703 @default.
- W2249251310 cites W2002262052 @default.
- W2249251310 cites W2004306067 @default.
- W2249251310 cites W2040022302 @default.
- W2249251310 cites W2048355938 @default.
- W2249251310 cites W2066949643 @default.
- W2249251310 cites W4234687429 @default.
- W2249251310 cites W4235944370 @default.
- W2249251310 cites W4239399053 @default.
- W2249251310 cites W4301791419 @default.
- W2249251310 doi "https://doi.org/10.1109/time.2015.10" @default.
- W2249251310 hasPublicationYear "2015" @default.
- W2249251310 type Work @default.
- W2249251310 sameAs 2249251310 @default.
- W2249251310 citedByCount "0" @default.
- W2249251310 crossrefType "proceedings-article" @default.
- W2249251310 hasAuthorship W2249251310A5050627897 @default.
- W2249251310 hasConcept C11413529 @default.
- W2249251310 hasConcept C118615104 @default.
- W2249251310 hasConcept C134306372 @default.
- W2249251310 hasConcept C151376022 @default.
- W2249251310 hasConcept C153269930 @default.
- W2249251310 hasConcept C179799912 @default.
- W2249251310 hasConcept C33923547 @default.
- W2249251310 hasConcept C41008148 @default.
- W2249251310 hasConcept C77553402 @default.
- W2249251310 hasConcept C80444323 @default.
- W2249251310 hasConceptScore W2249251310C11413529 @default.
- W2249251310 hasConceptScore W2249251310C118615104 @default.
- W2249251310 hasConceptScore W2249251310C134306372 @default.
- W2249251310 hasConceptScore W2249251310C151376022 @default.
- W2249251310 hasConceptScore W2249251310C153269930 @default.
- W2249251310 hasConceptScore W2249251310C179799912 @default.
- W2249251310 hasConceptScore W2249251310C33923547 @default.
- W2249251310 hasConceptScore W2249251310C41008148 @default.
- W2249251310 hasConceptScore W2249251310C77553402 @default.
- W2249251310 hasConceptScore W2249251310C80444323 @default.
- W2249251310 hasLocation W22492513101 @default.
- W2249251310 hasOpenAccess W2249251310 @default.
- W2249251310 hasPrimaryLocation W22492513101 @default.
- W2249251310 hasRelatedWork W2038812594 @default.
- W2249251310 hasRelatedWork W2083193613 @default.
- W2249251310 hasRelatedWork W2104190504 @default.
- W2249251310 hasRelatedWork W2116831134 @default.
- W2249251310 hasRelatedWork W2465024128 @default.
- W2249251310 hasRelatedWork W2712815726 @default.
- W2249251310 hasRelatedWork W2740676412 @default.
- W2249251310 hasRelatedWork W2798462688 @default.
- W2249251310 hasRelatedWork W2920704135 @default.
- W2249251310 hasRelatedWork W4310493816 @default.
- W2249251310 isParatext "false" @default.
- W2249251310 isRetracted "false" @default.
- W2249251310 magId "2249251310" @default.
- W2249251310 workType "article" @default.