Matches in SemOpenAlex for { <https://semopenalex.org/work/W3040348990> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3040348990 abstract "We analyze affine reachability problems in dimensions 1 and 2. We show that the reachability problem for 1-register machines over the integers with affine updates is PSPACE-hard, hence PSPACE-complete, strengthening a result by Finkel et al. that required polynomial updates. Building on recent results on two-dimensional integer matrices, we prove NP-completeness of the mortality problem for 2-dimensional integer matrices with determinants +1 and 0. Motivated by tight connections with 1-dimensional affine reachability problems without control states, we also study the complexity of a number of reachability problems in finitely generated semigroups of 2-dimensional upper-triangular integer matrices." @default.
- W3040348990 created "2020-07-10" @default.
- W3040348990 creator A5054782057 @default.
- W3040348990 creator A5081506082 @default.
- W3040348990 date "2019-05-13" @default.
- W3040348990 modified "2023-09-27" @default.
- W3040348990 title "On Affine Reachability Problems" @default.
- W3040348990 cites W12758337 @default.
- W3040348990 cites W1488228805 @default.
- W3040348990 cites W1503005706 @default.
- W3040348990 cites W1963547452 @default.
- W3040348990 cites W1973458874 @default.
- W3040348990 cites W1989605444 @default.
- W3040348990 cites W2011039300 @default.
- W3040348990 cites W2020512958 @default.
- W3040348990 cites W2032155003 @default.
- W3040348990 cites W2033064897 @default.
- W3040348990 cites W204546099 @default.
- W3040348990 cites W2061970672 @default.
- W3040348990 cites W2062077910 @default.
- W3040348990 cites W2071228820 @default.
- W3040348990 cites W2373779618 @default.
- W3040348990 cites W2394562352 @default.
- W3040348990 cites W2568807633 @default.
- W3040348990 cites W2745665581 @default.
- W3040348990 cites W2810154270 @default.
- W3040348990 cites W2963416205 @default.
- W3040348990 cites W2963431677 @default.
- W3040348990 cites W2963620995 @default.
- W3040348990 cites W2963721241 @default.
- W3040348990 cites W3099031736 @default.
- W3040348990 cites W94582126 @default.
- W3040348990 hasPublicationYear "2019" @default.
- W3040348990 type Work @default.
- W3040348990 sameAs 3040348990 @default.
- W3040348990 citedByCount "0" @default.
- W3040348990 crossrefType "posted-content" @default.
- W3040348990 hasAuthorship W3040348990A5054782057 @default.
- W3040348990 hasAuthorship W3040348990A5081506082 @default.
- W3040348990 hasConcept C11413529 @default.
- W3040348990 hasConcept C114614502 @default.
- W3040348990 hasConcept C118615104 @default.
- W3040348990 hasConcept C134306372 @default.
- W3040348990 hasConcept C136643341 @default.
- W3040348990 hasConcept C17231256 @default.
- W3040348990 hasConcept C179799912 @default.
- W3040348990 hasConcept C197685441 @default.
- W3040348990 hasConcept C199360897 @default.
- W3040348990 hasConcept C202444582 @default.
- W3040348990 hasConcept C2777669093 @default.
- W3040348990 hasConcept C33923547 @default.
- W3040348990 hasConcept C41008148 @default.
- W3040348990 hasConcept C56086750 @default.
- W3040348990 hasConcept C90119067 @default.
- W3040348990 hasConcept C92757383 @default.
- W3040348990 hasConcept C97137487 @default.
- W3040348990 hasConceptScore W3040348990C11413529 @default.
- W3040348990 hasConceptScore W3040348990C114614502 @default.
- W3040348990 hasConceptScore W3040348990C118615104 @default.
- W3040348990 hasConceptScore W3040348990C134306372 @default.
- W3040348990 hasConceptScore W3040348990C136643341 @default.
- W3040348990 hasConceptScore W3040348990C17231256 @default.
- W3040348990 hasConceptScore W3040348990C179799912 @default.
- W3040348990 hasConceptScore W3040348990C197685441 @default.
- W3040348990 hasConceptScore W3040348990C199360897 @default.
- W3040348990 hasConceptScore W3040348990C202444582 @default.
- W3040348990 hasConceptScore W3040348990C2777669093 @default.
- W3040348990 hasConceptScore W3040348990C33923547 @default.
- W3040348990 hasConceptScore W3040348990C41008148 @default.
- W3040348990 hasConceptScore W3040348990C56086750 @default.
- W3040348990 hasConceptScore W3040348990C90119067 @default.
- W3040348990 hasConceptScore W3040348990C92757383 @default.
- W3040348990 hasConceptScore W3040348990C97137487 @default.
- W3040348990 hasLocation W30403489901 @default.
- W3040348990 hasOpenAccess W3040348990 @default.
- W3040348990 hasPrimaryLocation W30403489901 @default.
- W3040348990 hasRelatedWork W1486759533 @default.
- W3040348990 hasRelatedWork W1489033561 @default.
- W3040348990 hasRelatedWork W1530564087 @default.
- W3040348990 hasRelatedWork W1587836947 @default.
- W3040348990 hasRelatedWork W1590467876 @default.
- W3040348990 hasRelatedWork W1759861128 @default.
- W3040348990 hasRelatedWork W2015133130 @default.
- W3040348990 hasRelatedWork W2067754486 @default.
- W3040348990 hasRelatedWork W2082636129 @default.
- W3040348990 hasRelatedWork W2295651994 @default.
- W3040348990 hasRelatedWork W2311963849 @default.
- W3040348990 hasRelatedWork W2341570704 @default.
- W3040348990 hasRelatedWork W2469269256 @default.
- W3040348990 hasRelatedWork W2745665581 @default.
- W3040348990 hasRelatedWork W2787696546 @default.
- W3040348990 hasRelatedWork W2795518735 @default.
- W3040348990 hasRelatedWork W2952426464 @default.
- W3040348990 hasRelatedWork W3082714790 @default.
- W3040348990 hasRelatedWork W3165117268 @default.
- W3040348990 hasRelatedWork W3186357476 @default.
- W3040348990 isParatext "false" @default.
- W3040348990 isRetracted "false" @default.
- W3040348990 magId "3040348990" @default.
- W3040348990 workType "article" @default.