Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076654590> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2076654590 abstract "This paper clarifies the picture about Dense-choice Counter Machines (DCM), a less studied version of Counter Machines where counters range on a dense, rather than discrete, domain. The definition of DCM is revisited to make it extend (discrete) Counter Machines, and new undecidability and decidability results are proved. Using the first-order additive mixed theory of reals and integers, the paper presents a logical characterization of the sets of configurations reachable by reversal-bounded DCM. We also relate the DCM model to more common models of systems." @default.
- W2076654590 created "2016-06-24" @default.
- W2076654590 creator A5026121924 @default.
- W2076654590 creator A5051788925 @default.
- W2076654590 creator A5064490024 @default.
- W2076654590 date "2014-07-01" @default.
- W2076654590 modified "2023-10-18" @default.
- W2076654590 title "Dense-choice Counter Machines revisited" @default.
- W2076654590 cites W1532358383 @default.
- W2076654590 cites W1582609644 @default.
- W2076654590 cites W1834360724 @default.
- W2076654590 cites W1835325438 @default.
- W2076654590 cites W1995691455 @default.
- W2076654590 cites W2012140001 @default.
- W2076654590 cites W2023999667 @default.
- W2076654590 cites W2031276295 @default.
- W2076654590 cites W2031409637 @default.
- W2076654590 cites W2032211599 @default.
- W2076654590 cites W2085384188 @default.
- W2076654590 cites W2101508170 @default.
- W2076654590 cites W2128090891 @default.
- W2076654590 cites W2130589130 @default.
- W2076654590 cites W2132083063 @default.
- W2076654590 cites W2134574912 @default.
- W2076654590 cites W2144814330 @default.
- W2076654590 cites W2168135204 @default.
- W2076654590 cites W2474340950 @default.
- W2076654590 doi "https://doi.org/10.1016/j.tcs.2014.04.029" @default.
- W2076654590 hasPublicationYear "2014" @default.
- W2076654590 type Work @default.
- W2076654590 sameAs 2076654590 @default.
- W2076654590 citedByCount "0" @default.
- W2076654590 crossrefType "journal-article" @default.
- W2076654590 hasAuthorship W2076654590A5026121924 @default.
- W2076654590 hasAuthorship W2076654590A5051788925 @default.
- W2076654590 hasAuthorship W2076654590A5064490024 @default.
- W2076654590 hasBestOaLocation W20766545901 @default.
- W2076654590 hasConcept C11413529 @default.
- W2076654590 hasConcept C118615104 @default.
- W2076654590 hasConcept C134306372 @default.
- W2076654590 hasConcept C153269930 @default.
- W2076654590 hasConcept C159985019 @default.
- W2076654590 hasConcept C162838799 @default.
- W2076654590 hasConcept C171250308 @default.
- W2076654590 hasConcept C192562407 @default.
- W2076654590 hasConcept C204323151 @default.
- W2076654590 hasConcept C2780841128 @default.
- W2076654590 hasConcept C33923547 @default.
- W2076654590 hasConcept C34388435 @default.
- W2076654590 hasConcept C36503486 @default.
- W2076654590 hasConcept C41008148 @default.
- W2076654590 hasConceptScore W2076654590C11413529 @default.
- W2076654590 hasConceptScore W2076654590C118615104 @default.
- W2076654590 hasConceptScore W2076654590C134306372 @default.
- W2076654590 hasConceptScore W2076654590C153269930 @default.
- W2076654590 hasConceptScore W2076654590C159985019 @default.
- W2076654590 hasConceptScore W2076654590C162838799 @default.
- W2076654590 hasConceptScore W2076654590C171250308 @default.
- W2076654590 hasConceptScore W2076654590C192562407 @default.
- W2076654590 hasConceptScore W2076654590C204323151 @default.
- W2076654590 hasConceptScore W2076654590C2780841128 @default.
- W2076654590 hasConceptScore W2076654590C33923547 @default.
- W2076654590 hasConceptScore W2076654590C34388435 @default.
- W2076654590 hasConceptScore W2076654590C36503486 @default.
- W2076654590 hasConceptScore W2076654590C41008148 @default.
- W2076654590 hasFunder F4320320883 @default.
- W2076654590 hasLocation W20766545901 @default.
- W2076654590 hasLocation W20766545902 @default.
- W2076654590 hasLocation W20766545903 @default.
- W2076654590 hasOpenAccess W2076654590 @default.
- W2076654590 hasPrimaryLocation W20766545901 @default.
- W2076654590 hasRelatedWork W147131300 @default.
- W2076654590 hasRelatedWork W148785827 @default.
- W2076654590 hasRelatedWork W1595300261 @default.
- W2076654590 hasRelatedWork W2033058983 @default.
- W2076654590 hasRelatedWork W2040008220 @default.
- W2076654590 hasRelatedWork W2122843152 @default.
- W2076654590 hasRelatedWork W2254409895 @default.
- W2076654590 hasRelatedWork W23873736 @default.
- W2076654590 hasRelatedWork W2401324872 @default.
- W2076654590 hasRelatedWork W252968734 @default.
- W2076654590 hasRelatedWork W2668034915 @default.
- W2076654590 hasRelatedWork W2907944076 @default.
- W2076654590 hasRelatedWork W2951691249 @default.
- W2076654590 hasRelatedWork W2952917111 @default.
- W2076654590 hasRelatedWork W2963588035 @default.
- W2076654590 hasRelatedWork W3045484572 @default.
- W2076654590 hasRelatedWork W658731987 @default.
- W2076654590 hasRelatedWork W80793323 @default.
- W2076654590 hasRelatedWork W821240578 @default.
- W2076654590 hasRelatedWork W2567720014 @default.
- W2076654590 isParatext "false" @default.
- W2076654590 isRetracted "false" @default.
- W2076654590 magId "2076654590" @default.
- W2076654590 workType "article" @default.