Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966307150> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1966307150 abstract "Let V be a finite set of integral vectors in Euclidian N-space, and let a be an integral point in the first orthant of N-space. The reachability set R(a,V) is the set of integral points b in the first orthant such that there is a polygonal path γ from a to b satisfying (i) all of γ lies in the first orthant, and (ii) the edges of γ are translates of the vectors in V. The reachability problem for the vector addition system (a,V) asks for an algorithm to decide which integral points b are in R(b,V). In this paper we give an algorithm to solve this problem." @default.
- W1966307150 created "2016-06-24" @default.
- W1966307150 creator A5022574545 @default.
- W1966307150 creator A5062445466 @default.
- W1966307150 date "1977-01-01" @default.
- W1966307150 modified "2023-10-16" @default.
- W1966307150 title "The decidability of the reachability problem for vector addition systems (Preliminary Version)" @default.
- W1966307150 cites W1504118709 @default.
- W1966307150 cites W1966992415 @default.
- W1966307150 cites W1970398023 @default.
- W1966307150 cites W1970896297 @default.
- W1966307150 cites W2002252837 @default.
- W1966307150 cites W2003894975 @default.
- W1966307150 cites W2046506312 @default.
- W1966307150 cites W2055081868 @default.
- W1966307150 cites W2087749569 @default.
- W1966307150 cites W2106001218 @default.
- W1966307150 cites W2148224873 @default.
- W1966307150 doi "https://doi.org/10.1145/800105.803396" @default.
- W1966307150 hasPublicationYear "1977" @default.
- W1966307150 type Work @default.
- W1966307150 sameAs 1966307150 @default.
- W1966307150 citedByCount "59" @default.
- W1966307150 countsByYear W19663071502012 @default.
- W1966307150 countsByYear W19663071502013 @default.
- W1966307150 countsByYear W19663071502015 @default.
- W1966307150 countsByYear W19663071502016 @default.
- W1966307150 countsByYear W19663071502018 @default.
- W1966307150 countsByYear W19663071502019 @default.
- W1966307150 countsByYear W19663071502020 @default.
- W1966307150 countsByYear W19663071502021 @default.
- W1966307150 countsByYear W19663071502022 @default.
- W1966307150 countsByYear W19663071502023 @default.
- W1966307150 crossrefType "proceedings-article" @default.
- W1966307150 hasAuthorship W1966307150A5022574545 @default.
- W1966307150 hasAuthorship W1966307150A5062445466 @default.
- W1966307150 hasConcept C114614502 @default.
- W1966307150 hasConcept C118615104 @default.
- W1966307150 hasConcept C13336665 @default.
- W1966307150 hasConcept C136643341 @default.
- W1966307150 hasConcept C153269930 @default.
- W1966307150 hasConcept C177264268 @default.
- W1966307150 hasConcept C186450821 @default.
- W1966307150 hasConcept C199360897 @default.
- W1966307150 hasConcept C202444582 @default.
- W1966307150 hasConcept C2524010 @default.
- W1966307150 hasConcept C2777669093 @default.
- W1966307150 hasConcept C2777735758 @default.
- W1966307150 hasConcept C2780016784 @default.
- W1966307150 hasConcept C28719098 @default.
- W1966307150 hasConcept C33923547 @default.
- W1966307150 hasConcept C41008148 @default.
- W1966307150 hasConceptScore W1966307150C114614502 @default.
- W1966307150 hasConceptScore W1966307150C118615104 @default.
- W1966307150 hasConceptScore W1966307150C13336665 @default.
- W1966307150 hasConceptScore W1966307150C136643341 @default.
- W1966307150 hasConceptScore W1966307150C153269930 @default.
- W1966307150 hasConceptScore W1966307150C177264268 @default.
- W1966307150 hasConceptScore W1966307150C186450821 @default.
- W1966307150 hasConceptScore W1966307150C199360897 @default.
- W1966307150 hasConceptScore W1966307150C202444582 @default.
- W1966307150 hasConceptScore W1966307150C2524010 @default.
- W1966307150 hasConceptScore W1966307150C2777669093 @default.
- W1966307150 hasConceptScore W1966307150C2777735758 @default.
- W1966307150 hasConceptScore W1966307150C2780016784 @default.
- W1966307150 hasConceptScore W1966307150C28719098 @default.
- W1966307150 hasConceptScore W1966307150C33923547 @default.
- W1966307150 hasConceptScore W1966307150C41008148 @default.
- W1966307150 hasLocation W19663071501 @default.
- W1966307150 hasOpenAccess W1966307150 @default.
- W1966307150 hasPrimaryLocation W19663071501 @default.
- W1966307150 hasRelatedWork W1531231269 @default.
- W1966307150 hasRelatedWork W1563786920 @default.
- W1966307150 hasRelatedWork W2028974417 @default.
- W1966307150 hasRelatedWork W2122700562 @default.
- W1966307150 hasRelatedWork W2245922010 @default.
- W1966307150 hasRelatedWork W2912654482 @default.
- W1966307150 hasRelatedWork W2922024459 @default.
- W1966307150 hasRelatedWork W2951140680 @default.
- W1966307150 hasRelatedWork W3043060967 @default.
- W1966307150 hasRelatedWork W979223301 @default.
- W1966307150 isParatext "false" @default.
- W1966307150 isRetracted "false" @default.
- W1966307150 magId "1966307150" @default.
- W1966307150 workType "article" @default.