Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585297856> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1585297856 endingPage "50" @default.
- W1585297856 startingPage "39" @default.
- W1585297856 abstract "Recently, E.A. Emerson and C.S. Jutla (SIAM J. Comput., 1999), have successfully applied complexity of tree automata to obtain optimal deterministic exponential time algorithms for some important modal logics of programs. The running time of these algorithms corresponds, of course, to complexity functions which are potential functions and, thus, they do not belong, in general, to any dual p-complexity space. Motivated by these facts we here introduce and study a very general class of complexity spaces, which provides, in the dual context, a suitable framework to carry out a description of the complexity functions that generate exponential time algorithms. In particular, such spaces can be modelled as biBanach semialgebras which are isometrically isomorphic to the positive cone of the asymmetric normed linear space consisting of bounded sequences of real numbers endowed with the supremum asymmetric norm." @default.
- W1585297856 created "2016-06-24" @default.
- W1585297856 creator A5008660700 @default.
- W1585297856 creator A5011605866 @default.
- W1585297856 creator A5059955897 @default.
- W1585297856 date "2003-10-01" @default.
- W1585297856 modified "2023-09-27" @default.
- W1585297856 title "The supremum asymmetric norm on sequence algebras" @default.
- W1585297856 cites W1524112282 @default.
- W1585297856 cites W1559626229 @default.
- W1585297856 cites W1988206529 @default.
- W1585297856 cites W2008209365 @default.
- W1585297856 cites W2011947807 @default.
- W1585297856 cites W2014054257 @default.
- W1585297856 cites W2018131399 @default.
- W1585297856 cites W2047277075 @default.
- W1585297856 cites W2081233506 @default.
- W1585297856 cites W2112476716 @default.
- W1585297856 doi "https://doi.org/10.1016/s1571-0661(04)80764-3" @default.
- W1585297856 hasPublicationYear "2003" @default.
- W1585297856 type Work @default.
- W1585297856 sameAs 1585297856 @default.
- W1585297856 citedByCount "13" @default.
- W1585297856 countsByYear W15852978562013 @default.
- W1585297856 countsByYear W15852978562014 @default.
- W1585297856 countsByYear W15852978562019 @default.
- W1585297856 countsByYear W15852978562020 @default.
- W1585297856 crossrefType "journal-article" @default.
- W1585297856 hasAuthorship W1585297856A5008660700 @default.
- W1585297856 hasAuthorship W1585297856A5011605866 @default.
- W1585297856 hasAuthorship W1585297856A5059955897 @default.
- W1585297856 hasBestOaLocation W15852978561 @default.
- W1585297856 hasConcept C112505250 @default.
- W1585297856 hasConcept C114614502 @default.
- W1585297856 hasConcept C118615104 @default.
- W1585297856 hasConcept C134306372 @default.
- W1585297856 hasConcept C146324458 @default.
- W1585297856 hasConcept C151376022 @default.
- W1585297856 hasConcept C17744445 @default.
- W1585297856 hasConcept C191795146 @default.
- W1585297856 hasConcept C199539241 @default.
- W1585297856 hasConcept C2778112365 @default.
- W1585297856 hasConcept C2778583254 @default.
- W1585297856 hasConcept C311688 @default.
- W1585297856 hasConcept C33923547 @default.
- W1585297856 hasConcept C34388435 @default.
- W1585297856 hasConcept C39637292 @default.
- W1585297856 hasConcept C41008148 @default.
- W1585297856 hasConcept C54355233 @default.
- W1585297856 hasConcept C80444323 @default.
- W1585297856 hasConcept C86803240 @default.
- W1585297856 hasConcept C95611797 @default.
- W1585297856 hasConceptScore W1585297856C112505250 @default.
- W1585297856 hasConceptScore W1585297856C114614502 @default.
- W1585297856 hasConceptScore W1585297856C118615104 @default.
- W1585297856 hasConceptScore W1585297856C134306372 @default.
- W1585297856 hasConceptScore W1585297856C146324458 @default.
- W1585297856 hasConceptScore W1585297856C151376022 @default.
- W1585297856 hasConceptScore W1585297856C17744445 @default.
- W1585297856 hasConceptScore W1585297856C191795146 @default.
- W1585297856 hasConceptScore W1585297856C199539241 @default.
- W1585297856 hasConceptScore W1585297856C2778112365 @default.
- W1585297856 hasConceptScore W1585297856C2778583254 @default.
- W1585297856 hasConceptScore W1585297856C311688 @default.
- W1585297856 hasConceptScore W1585297856C33923547 @default.
- W1585297856 hasConceptScore W1585297856C34388435 @default.
- W1585297856 hasConceptScore W1585297856C39637292 @default.
- W1585297856 hasConceptScore W1585297856C41008148 @default.
- W1585297856 hasConceptScore W1585297856C54355233 @default.
- W1585297856 hasConceptScore W1585297856C80444323 @default.
- W1585297856 hasConceptScore W1585297856C86803240 @default.
- W1585297856 hasConceptScore W1585297856C95611797 @default.
- W1585297856 hasLocation W15852978561 @default.
- W1585297856 hasOpenAccess W1585297856 @default.
- W1585297856 hasPrimaryLocation W15852978561 @default.
- W1585297856 hasRelatedWork W1585297856 @default.
- W1585297856 hasRelatedWork W1587450254 @default.
- W1585297856 hasRelatedWork W1606810574 @default.
- W1585297856 hasRelatedWork W2007276298 @default.
- W1585297856 hasRelatedWork W2067060545 @default.
- W1585297856 hasRelatedWork W2067664172 @default.
- W1585297856 hasRelatedWork W2075130353 @default.
- W1585297856 hasRelatedWork W2890075553 @default.
- W1585297856 hasRelatedWork W2940165449 @default.
- W1585297856 hasRelatedWork W2561184905 @default.
- W1585297856 hasVolume "74" @default.
- W1585297856 isParatext "false" @default.
- W1585297856 isRetracted "false" @default.
- W1585297856 magId "1585297856" @default.
- W1585297856 workType "article" @default.