FRINK Linked Data Fragments server

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

• W2952619926 abstract "Ground Tree Rewrite Systems with State are known to have an undecidable control state reachability problem. Taking inspiration from the recent introduction of scope-bounded multi-stack pushdown systems, we define Senescent Ground Tree Rewrite Systems. These are a restriction of ground tree rewrite systems with state such that nodes of the tree may no longer be rewritten after having witnessed an a priori fixed number of control state changes. As well as generalising scope-bounded multi-stack pushdown systems, we show --- via reductions to and from reset Petri-nets --- that these systems have an Ackermann-complete control state reachability problem. However, reachability of a regular set of trees remains undecidable." @default.
• W2952619926 created "2019-06-27" @default.
• W2952619926 creator A5083664380 @default.
• W2952619926 date "2013-11-19" @default.
• W2952619926 modified "2023-09-27" @default.
• W2952619926 title "Senescent Ground Tree Rewrite Systems" @default.
• W2952619926 cites W1493367105 @default.
• W2952619926 cites W1508360721 @default.
• W2952619926 cites W1524248088 @default.
• W2952619926 cites W1546101340 @default.
• W2952619926 cites W1589224558 @default.
• W2952619926 cites W1691700263 @default.
• W2952619926 cites W174890186 @default.
• W2952619926 cites W180544992 @default.
• W2952619926 cites W1964874178 @default.
• W2952619926 cites W1984256985 @default.
• W2952619926 cites W1987814265 @default.
• W2952619926 cites W2031276295 @default.
• W2952619926 cites W2044772623 @default.
• W2952619926 cites W2047447540 @default.
• W2952619926 cites W2074674105 @default.
• W2952619926 cites W2080263276 @default.
• W2952619926 cites W2084570980 @default.
• W2952619926 cites W2100532597 @default.
• W2952619926 cites W2101936540 @default.
• W2952619926 cites W2105614525 @default.
• W2952619926 cites W2107398710 @default.
• W2952619926 cites W2109893633 @default.
• W2952619926 cites W2114132089 @default.
• W2952619926 cites W2122095746 @default.
• W2952619926 cites W2145494365 @default.
• W2952619926 cites W2156751710 @default.
• W2952619926 cites W2165546792 @default.
• W2952619926 cites W2806135590 @default.
• W2952619926 cites W3005728772 @default.
• W2952619926 cites W2464021761 @default.
• W2952619926 hasPublicationYear "2013" @default.
• W2952619926 type Work @default.
• W2952619926 sameAs 2952619926 @default.
• W2952619926 citedByCount "2" @default.
• W2952619926 countsByYear W29526199262015 @default.
• W2952619926 countsByYear W29526199262016 @default.
• W2952619926 crossrefType "posted-content" @default.
• W2952619926 hasAuthorship W2952619926A5083664380 @default.
• W2952619926 hasConcept C113174947 @default.
• W2952619926 hasConcept C11413529 @default.
• W2952619926 hasConcept C114614502 @default.
• W2952619926 hasConcept C118615104 @default.
• W2952619926 hasConcept C134306372 @default.
• W2952619926 hasConcept C136643341 @default.
• W2952619926 hasConcept C153269930 @default.
• W2952619926 hasConcept C192034797 @default.
• W2952619926 hasConcept C199360897 @default.
• W2952619926 hasConcept C2777669093 @default.
• W2952619926 hasConcept C2778012447 @default.
• W2952619926 hasConcept C33923547 @default.
• W2952619926 hasConcept C34388435 @default.
• W2952619926 hasConcept C38677869 @default.
• W2952619926 hasConcept C41008148 @default.
• W2952619926 hasConcept C48103436 @default.
• W2952619926 hasConcept C80444323 @default.
• W2952619926 hasConceptScore W2952619926C113174947 @default.
• W2952619926 hasConceptScore W2952619926C11413529 @default.
• W2952619926 hasConceptScore W2952619926C114614502 @default.
• W2952619926 hasConceptScore W2952619926C118615104 @default.
• W2952619926 hasConceptScore W2952619926C134306372 @default.
• W2952619926 hasConceptScore W2952619926C136643341 @default.
• W2952619926 hasConceptScore W2952619926C153269930 @default.
• W2952619926 hasConceptScore W2952619926C192034797 @default.
• W2952619926 hasConceptScore W2952619926C199360897 @default.
• W2952619926 hasConceptScore W2952619926C2777669093 @default.
• W2952619926 hasConceptScore W2952619926C2778012447 @default.
• W2952619926 hasConceptScore W2952619926C33923547 @default.
• W2952619926 hasConceptScore W2952619926C34388435 @default.
• W2952619926 hasConceptScore W2952619926C38677869 @default.
• W2952619926 hasConceptScore W2952619926C41008148 @default.
• W2952619926 hasConceptScore W2952619926C48103436 @default.
• W2952619926 hasConceptScore W2952619926C80444323 @default.
• W2952619926 hasLocation W29526199261 @default.
• W2952619926 hasOpenAccess W2952619926 @default.
• W2952619926 hasPrimaryLocation W29526199261 @default.
• W2952619926 hasRelatedWork W1503624459 @default.
• W2952619926 hasRelatedWork W1526145713 @default.
• W2952619926 hasRelatedWork W1537028008 @default.
• W2952619926 hasRelatedWork W156810579 @default.
• W2952619926 hasRelatedWork W174890186 @default.
• W2952619926 hasRelatedWork W1853699778 @default.
• W2952619926 hasRelatedWork W1878430332 @default.
• W2952619926 hasRelatedWork W2103587987 @default.
• W2952619926 hasRelatedWork W2121408865 @default.
• W2952619926 hasRelatedWork W2243811600 @default.
• W2952619926 hasRelatedWork W2247003927 @default.
• W2952619926 hasRelatedWork W2568834792 @default.
• W2952619926 hasRelatedWork W2764219630 @default.
• W2952619926 hasRelatedWork W2949627261 @default.
• W2952619926 hasRelatedWork W2949712613 @default.
• W2952619926 hasRelatedWork W2950324689 @default.
• W2952619926 hasRelatedWork W2953098306 @default.
• W2952619926 hasRelatedWork W2965450052 @default.
• W2952619926 hasRelatedWork W3021321801 @default.

• next