FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100550693> ?p ?o ?g. }

• W3100550693 endingPage "124" @default.
• W3100550693 startingPage "112" @default.
• W3100550693 abstract "This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ZVASS while retaining NP-completness of both coverability and reachability." @default.
• W3100550693 created "2020-11-23" @default.
• W3100550693 creator A5048967783 @default.
• W3100550693 creator A5067755649 @default.
• W3100550693 date "2014-01-01" @default.
• W3100550693 modified "2023-10-18" @default.
• W3100550693 title "Integer Vector Addition Systems with States" @default.
• W3100550693 cites W147131300 @default.
• W3100550693 cites W1494939852 @default.
• W3100550693 cites W1508360721 @default.
• W3100550693 cites W1513999490 @default.
• W3100550693 cites W1532209667 @default.
• W3100550693 cites W1580879785 @default.
• W3100550693 cites W1597956802 @default.
• W3100550693 cites W1729675287 @default.
• W3100550693 cites W1792270213 @default.
• W3100550693 cites W1964874178 @default.
• W3100550693 cites W1968015483 @default.
• W3100550693 cites W1970398023 @default.
• W3100550693 cites W1973458874 @default.
• W3100550693 cites W2013166518 @default.
• W3100550693 cites W2022772583 @default.
• W3100550693 cites W2055081868 @default.
• W3100550693 cites W2075742699 @default.
• W3100550693 cites W2081063330 @default.
• W3100550693 cites W2162593546 @default.
• W3100550693 cites W2248088805 @default.
• W3100550693 cites W3102787008 @default.
• W3100550693 cites W94582126 @default.
• W3100550693 doi "https://doi.org/10.1007/978-3-319-11439-2_9" @default.
• W3100550693 hasPublicationYear "2014" @default.
• W3100550693 type Work @default.
• W3100550693 sameAs 3100550693 @default.
• W3100550693 citedByCount "21" @default.
• W3100550693 countsByYear W31005506932015 @default.
• W3100550693 countsByYear W31005506932016 @default.
• W3100550693 countsByYear W31005506932017 @default.
• W3100550693 countsByYear W31005506932018 @default.
• W3100550693 countsByYear W31005506932019 @default.
• W3100550693 countsByYear W31005506932020 @default.
• W3100550693 countsByYear W31005506932021 @default.
• W3100550693 countsByYear W31005506932022 @default.
• W3100550693 countsByYear W31005506932023 @default.
• W3100550693 crossrefType "book-chapter" @default.
• W3100550693 hasAuthorship W3100550693A5048967783 @default.
• W3100550693 hasAuthorship W3100550693A5067755649 @default.
• W3100550693 hasBestOaLocation W31005506932 @default.
• W3100550693 hasConcept C106159729 @default.
• W3100550693 hasConcept C11413529 @default.
• W3100550693 hasConcept C118615104 @default.
• W3100550693 hasConcept C136643341 @default.
• W3100550693 hasConcept C162324750 @default.
• W3100550693 hasConcept C179799912 @default.
• W3100550693 hasConcept C199360897 @default.
• W3100550693 hasConcept C207467116 @default.
• W3100550693 hasConcept C2524010 @default.
• W3100550693 hasConcept C2777669093 @default.
• W3100550693 hasConcept C2779795794 @default.
• W3100550693 hasConcept C33436860 @default.
• W3100550693 hasConcept C33923547 @default.
• W3100550693 hasConcept C41008148 @default.
• W3100550693 hasConcept C48103436 @default.
• W3100550693 hasConcept C80444323 @default.
• W3100550693 hasConcept C97137487 @default.
• W3100550693 hasConceptScore W3100550693C106159729 @default.
• W3100550693 hasConceptScore W3100550693C11413529 @default.
• W3100550693 hasConceptScore W3100550693C118615104 @default.
• W3100550693 hasConceptScore W3100550693C136643341 @default.
• W3100550693 hasConceptScore W3100550693C162324750 @default.
• W3100550693 hasConceptScore W3100550693C179799912 @default.
• W3100550693 hasConceptScore W3100550693C199360897 @default.
• W3100550693 hasConceptScore W3100550693C207467116 @default.
• W3100550693 hasConceptScore W3100550693C2524010 @default.
• W3100550693 hasConceptScore W3100550693C2777669093 @default.
• W3100550693 hasConceptScore W3100550693C2779795794 @default.
• W3100550693 hasConceptScore W3100550693C33436860 @default.
• W3100550693 hasConceptScore W3100550693C33923547 @default.
• W3100550693 hasConceptScore W3100550693C41008148 @default.
• W3100550693 hasConceptScore W3100550693C48103436 @default.
• W3100550693 hasConceptScore W3100550693C80444323 @default.
• W3100550693 hasConceptScore W3100550693C97137487 @default.
• W3100550693 hasLocation W31005506931 @default.
• W3100550693 hasLocation W31005506932 @default.
• W3100550693 hasLocation W31005506933 @default.
• W3100550693 hasLocation W31005506934 @default.
• W3100550693 hasLocation W31005506935 @default.
• W3100550693 hasOpenAccess W3100550693 @default.
• W3100550693 hasPrimaryLocation W31005506931 @default.
• W3100550693 hasRelatedWork W144646275 @default.
• W3100550693 hasRelatedWork W1608856655 @default.
• W3100550693 hasRelatedWork W1867362864 @default.
• W3100550693 hasRelatedWork W2549752607 @default.
• W3100550693 hasRelatedWork W3040348990 @default.
• W3100550693 hasRelatedWork W3082487952 @default.
• W3100550693 hasRelatedWork W3100550693 @default.
• W3100550693 hasRelatedWork W4288357225 @default.
• W3100550693 hasRelatedWork W2048042296 @default.
• W3100550693 hasRelatedWork W2565439118 @default.

• next