Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279666902> ?p ?o ?g. }
- W2279666902 abstract "We study the computational complexity of reachability, coverability and inclusion for extensions of context-free commutative grammars with integer counters and reset operations on them. Those grammars can alternatively be viewed as an extension of communication-free Petri nets. Our main results are that reachability and coverability are inter-reducible and both NP-complete. In particular, this class of commutative grammars enjoys semi-linear reachability sets. We also show that the inclusion problem is, in general, coNEXP-complete and already $Pi_2^text{P}$-complete for grammars with only one non-terminal symbol. Showing the lower bound for the latter result requires us to develop a novel $Pi_2^text{P}$-complete variant of the classic subset sum problem." @default.
- W2279666902 created "2016-06-24" @default.
- W2279666902 creator A5048967783 @default.
- W2279666902 creator A5067755649 @default.
- W2279666902 creator A5082872998 @default.
- W2279666902 date "2015-11-16" @default.
- W2279666902 modified "2023-09-25" @default.
- W2279666902 title "Context-Free Commutative Grammars with Integer Counters and Resets" @default.
- W2279666902 cites W147131300 @default.
- W2279666902 cites W1483527667 @default.
- W2279666902 cites W1494939852 @default.
- W2279666902 cites W1508360721 @default.
- W2279666902 cites W1513999490 @default.
- W2279666902 cites W1520212322 @default.
- W2279666902 cites W1531231269 @default.
- W2279666902 cites W1532209667 @default.
- W2279666902 cites W1580879785 @default.
- W2279666902 cites W1597956802 @default.
- W2279666902 cites W176758562 @default.
- W2279666902 cites W1932636156 @default.
- W2279666902 cites W1964874178 @default.
- W2279666902 cites W1968015483 @default.
- W2279666902 cites W1970398023 @default.
- W2279666902 cites W1973458874 @default.
- W2279666902 cites W1989788631 @default.
- W2279666902 cites W2006891919 @default.
- W2279666902 cites W2010265885 @default.
- W2279666902 cites W2011039300 @default.
- W2279666902 cites W2017315323 @default.
- W2279666902 cites W2021009590 @default.
- W2279666902 cites W2022772583 @default.
- W2279666902 cites W2036526834 @default.
- W2279666902 cites W2055081868 @default.
- W2279666902 cites W2066012259 @default.
- W2279666902 cites W2075742699 @default.
- W2279666902 cites W2078846861 @default.
- W2279666902 cites W2081063330 @default.
- W2279666902 cites W2116427039 @default.
- W2279666902 cites W2162593546 @default.
- W2279666902 cites W2164003033 @default.
- W2279666902 cites W2167776377 @default.
- W2279666902 cites W2188682159 @default.
- W2279666902 cites W2314356162 @default.
- W2279666902 cites W2486927842 @default.
- W2279666902 cites W2495660715 @default.
- W2279666902 cites W2544425934 @default.
- W2279666902 cites W29384094 @default.
- W2279666902 cites W2951382218 @default.
- W2279666902 cites W2963713995 @default.
- W2279666902 cites W3100227670 @default.
- W2279666902 cites W94582126 @default.
- W2279666902 cites W2460604993 @default.
- W2279666902 hasPublicationYear "2015" @default.
- W2279666902 type Work @default.
- W2279666902 sameAs 2279666902 @default.
- W2279666902 citedByCount "0" @default.
- W2279666902 crossrefType "posted-content" @default.
- W2279666902 hasAuthorship W2279666902A5048967783 @default.
- W2279666902 hasAuthorship W2279666902A5067755649 @default.
- W2279666902 hasAuthorship W2279666902A5082872998 @default.
- W2279666902 hasConcept C11413529 @default.
- W2279666902 hasConcept C114614502 @default.
- W2279666902 hasConcept C118615104 @default.
- W2279666902 hasConcept C125950753 @default.
- W2279666902 hasConcept C134083981 @default.
- W2279666902 hasConcept C136643341 @default.
- W2279666902 hasConcept C137212723 @default.
- W2279666902 hasConcept C151730666 @default.
- W2279666902 hasConcept C153269930 @default.
- W2279666902 hasConcept C154945302 @default.
- W2279666902 hasConcept C183778304 @default.
- W2279666902 hasConcept C199360897 @default.
- W2279666902 hasConcept C27034413 @default.
- W2279666902 hasConcept C2779343474 @default.
- W2279666902 hasConcept C33923547 @default.
- W2279666902 hasConcept C38677869 @default.
- W2279666902 hasConcept C41008148 @default.
- W2279666902 hasConcept C53893814 @default.
- W2279666902 hasConcept C79243999 @default.
- W2279666902 hasConcept C86803240 @default.
- W2279666902 hasConcept C97137487 @default.
- W2279666902 hasConcept C97212296 @default.
- W2279666902 hasConceptScore W2279666902C11413529 @default.
- W2279666902 hasConceptScore W2279666902C114614502 @default.
- W2279666902 hasConceptScore W2279666902C118615104 @default.
- W2279666902 hasConceptScore W2279666902C125950753 @default.
- W2279666902 hasConceptScore W2279666902C134083981 @default.
- W2279666902 hasConceptScore W2279666902C136643341 @default.
- W2279666902 hasConceptScore W2279666902C137212723 @default.
- W2279666902 hasConceptScore W2279666902C151730666 @default.
- W2279666902 hasConceptScore W2279666902C153269930 @default.
- W2279666902 hasConceptScore W2279666902C154945302 @default.
- W2279666902 hasConceptScore W2279666902C183778304 @default.
- W2279666902 hasConceptScore W2279666902C199360897 @default.
- W2279666902 hasConceptScore W2279666902C27034413 @default.
- W2279666902 hasConceptScore W2279666902C2779343474 @default.
- W2279666902 hasConceptScore W2279666902C33923547 @default.
- W2279666902 hasConceptScore W2279666902C38677869 @default.
- W2279666902 hasConceptScore W2279666902C41008148 @default.
- W2279666902 hasConceptScore W2279666902C53893814 @default.