Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287027003> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4287027003 abstract "Following a recently considered generalisation of linear equations to unordered-data vectors and to ordered-data vectors, we perform a further generalisation to data vectors that are functions from k-element subsets of the unordered-data set to vectors of integer numbers. These generalised equations naturally appear in the analysis of vector addition systems (or Petri nets) extended so that each token carries a set of unordered data. We show that nonnegative-integer solvability of linear equations is in nondeterministic exponential time while integer solvability is in polynomial time." @default.
- W4287027003 created "2022-07-25" @default.
- W4287027003 creator A5029560044 @default.
- W4287027003 creator A5090589200 @default.
- W4287027003 date "2021-08-09" @default.
- W4287027003 modified "2023-10-16" @default.
- W4287027003 title "Linear equations for unordered data vectors in $[D]^kto{}Z^d$" @default.
- W4287027003 doi "https://doi.org/10.48550/arxiv.2109.03025" @default.
- W4287027003 hasPublicationYear "2021" @default.
- W4287027003 type Work @default.
- W4287027003 citedByCount "0" @default.
- W4287027003 crossrefType "posted-content" @default.
- W4287027003 hasAuthorship W4287027003A5029560044 @default.
- W4287027003 hasAuthorship W4287027003A5090589200 @default.
- W4287027003 hasBestOaLocation W42870270031 @default.
- W4287027003 hasConcept C114614502 @default.
- W4287027003 hasConcept C118615104 @default.
- W4287027003 hasConcept C134306372 @default.
- W4287027003 hasConcept C151376022 @default.
- W4287027003 hasConcept C156340839 @default.
- W4287027003 hasConcept C176181172 @default.
- W4287027003 hasConcept C177264268 @default.
- W4287027003 hasConcept C199360897 @default.
- W4287027003 hasConcept C33923547 @default.
- W4287027003 hasConcept C41008148 @default.
- W4287027003 hasConcept C77346573 @default.
- W4287027003 hasConcept C90119067 @default.
- W4287027003 hasConcept C94523830 @default.
- W4287027003 hasConcept C97137487 @default.
- W4287027003 hasConceptScore W4287027003C114614502 @default.
- W4287027003 hasConceptScore W4287027003C118615104 @default.
- W4287027003 hasConceptScore W4287027003C134306372 @default.
- W4287027003 hasConceptScore W4287027003C151376022 @default.
- W4287027003 hasConceptScore W4287027003C156340839 @default.
- W4287027003 hasConceptScore W4287027003C176181172 @default.
- W4287027003 hasConceptScore W4287027003C177264268 @default.
- W4287027003 hasConceptScore W4287027003C199360897 @default.
- W4287027003 hasConceptScore W4287027003C33923547 @default.
- W4287027003 hasConceptScore W4287027003C41008148 @default.
- W4287027003 hasConceptScore W4287027003C77346573 @default.
- W4287027003 hasConceptScore W4287027003C90119067 @default.
- W4287027003 hasConceptScore W4287027003C94523830 @default.
- W4287027003 hasConceptScore W4287027003C97137487 @default.
- W4287027003 hasLocation W42870270031 @default.
- W4287027003 hasOpenAccess W4287027003 @default.
- W4287027003 hasPrimaryLocation W42870270031 @default.
- W4287027003 hasRelatedWork W1850102257 @default.
- W4287027003 hasRelatedWork W1994904485 @default.
- W4287027003 hasRelatedWork W2018113351 @default.
- W4287027003 hasRelatedWork W2041903417 @default.
- W4287027003 hasRelatedWork W2065078642 @default.
- W4287027003 hasRelatedWork W2117618537 @default.
- W4287027003 hasRelatedWork W2166476550 @default.
- W4287027003 hasRelatedWork W2964165395 @default.
- W4287027003 hasRelatedWork W2964273561 @default.
- W4287027003 hasRelatedWork W4287027003 @default.
- W4287027003 isParatext "false" @default.
- W4287027003 isRetracted "false" @default.
- W4287027003 workType "article" @default.