Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003894975> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2003894975 abstract "With geometrical techniques we hope to bring new insight into the reachability problem for vector-addition systems, which is pertaining in many areas in computer science theory but unsolved ever since it was proposed by Karp and Miller. We show that the reachability-problem is decidable in dim. ≤ 3 and give a partial solution for the general problem covering a wide instance of it. In both cases a semi-linear characterization is obtained for the complete set of solutions. Contrary to common belief the complete solution in dim. 3 does not immediately generalize, and our analysis gives evidence why. A few generalizations and application to long-standing classificational problems in language theory are discussed." @default.
- W2003894975 created "2016-06-24" @default.
- W2003894975 creator A5026994657 @default.
- W2003894975 date "1974-01-01" @default.
- W2003894975 modified "2023-10-14" @default.
- W2003894975 title "A partial solution to the reachability-problem for vector-addition systems" @default.
- W2003894975 cites W1551703260 @default.
- W2003894975 cites W1817451992 @default.
- W2003894975 cites W191065510 @default.
- W2003894975 cites W1990300406 @default.
- W2003894975 cites W2023640797 @default.
- W2003894975 cites W2024557784 @default.
- W2003894975 cites W2040718462 @default.
- W2003894975 cites W2099683082 @default.
- W2003894975 cites W2106001218 @default.
- W2003894975 cites W2121911240 @default.
- W2003894975 cites W2148224873 @default.
- W2003894975 cites W2157390113 @default.
- W2003894975 cites W2250668922 @default.
- W2003894975 cites W2914032487 @default.
- W2003894975 doi "https://doi.org/10.1145/800119.803908" @default.
- W2003894975 hasPublicationYear "1974" @default.
- W2003894975 type Work @default.
- W2003894975 sameAs 2003894975 @default.
- W2003894975 citedByCount "29" @default.
- W2003894975 countsByYear W20038949752020 @default.
- W2003894975 crossrefType "proceedings-article" @default.
- W2003894975 hasAuthorship W2003894975A5026994657 @default.
- W2003894975 hasBestOaLocation W20038949751 @default.
- W2003894975 hasConcept C118615104 @default.
- W2003894975 hasConcept C136119220 @default.
- W2003894975 hasConcept C136643341 @default.
- W2003894975 hasConcept C153269930 @default.
- W2003894975 hasConcept C171250308 @default.
- W2003894975 hasConcept C177264268 @default.
- W2003894975 hasConcept C192562407 @default.
- W2003894975 hasConcept C199360897 @default.
- W2003894975 hasConcept C202444582 @default.
- W2003894975 hasConcept C2777669093 @default.
- W2003894975 hasConcept C2780841128 @default.
- W2003894975 hasConcept C33923547 @default.
- W2003894975 hasConcept C41008148 @default.
- W2003894975 hasConcept C80444323 @default.
- W2003894975 hasConceptScore W2003894975C118615104 @default.
- W2003894975 hasConceptScore W2003894975C136119220 @default.
- W2003894975 hasConceptScore W2003894975C136643341 @default.
- W2003894975 hasConceptScore W2003894975C153269930 @default.
- W2003894975 hasConceptScore W2003894975C171250308 @default.
- W2003894975 hasConceptScore W2003894975C177264268 @default.
- W2003894975 hasConceptScore W2003894975C192562407 @default.
- W2003894975 hasConceptScore W2003894975C199360897 @default.
- W2003894975 hasConceptScore W2003894975C202444582 @default.
- W2003894975 hasConceptScore W2003894975C2777669093 @default.
- W2003894975 hasConceptScore W2003894975C2780841128 @default.
- W2003894975 hasConceptScore W2003894975C33923547 @default.
- W2003894975 hasConceptScore W2003894975C41008148 @default.
- W2003894975 hasConceptScore W2003894975C80444323 @default.
- W2003894975 hasLocation W20038949751 @default.
- W2003894975 hasOpenAccess W2003894975 @default.
- W2003894975 hasPrimaryLocation W20038949751 @default.
- W2003894975 hasRelatedWork W1531231269 @default.
- W2003894975 hasRelatedWork W1563786920 @default.
- W2003894975 hasRelatedWork W2047831585 @default.
- W2003894975 hasRelatedWork W2122700562 @default.
- W2003894975 hasRelatedWork W2245922010 @default.
- W2003894975 hasRelatedWork W2912654482 @default.
- W2003894975 hasRelatedWork W2922024459 @default.
- W2003894975 hasRelatedWork W2951140680 @default.
- W2003894975 hasRelatedWork W4253760428 @default.
- W2003894975 hasRelatedWork W979223301 @default.
- W2003894975 isParatext "false" @default.
- W2003894975 isRetracted "false" @default.
- W2003894975 magId "2003894975" @default.
- W2003894975 workType "article" @default.