Matches in SemOpenAlex for { <https://semopenalex.org/work/W113452472> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W113452472 abstract "We introduce two natural variants of prefix rewriting on nested-words. One captures precisely the transition graphs of order-2 pushdown automata and the other precisely those of order-2 collapsible pushdown automata (2-CPDA). To our knowledge this is the first precise ‘external' characterisation of 2-CPDA graphs and demonstrates that the class is robust and hence interesting in its own right. The comparison with our characterisation for 2-PDA graphs also gives an idea of what ‘collapse means' in terms outside of higher-order automata theory. Additionally, a related construction gives us a decidability result for first-order logic on a natural subclass of 3-CPDA graphs, which in some sense is optimal." @default.
- W113452472 created "2016-06-24" @default.
- W113452472 creator A5091508237 @default.
- W113452472 date "2012-01-01" @default.
- W113452472 modified "2023-09-30" @default.
- W113452472 title "Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata" @default.
- W113452472 cites W1489854863 @default.
- W113452472 cites W1517150411 @default.
- W113452472 cites W1517606395 @default.
- W113452472 cites W1517623691 @default.
- W113452472 cites W1518696294 @default.
- W113452472 cites W154015193 @default.
- W113452472 cites W1559784852 @default.
- W113452472 cites W1585989904 @default.
- W113452472 cites W2025670714 @default.
- W113452472 cites W2035927058 @default.
- W113452472 cites W2102644483 @default.
- W113452472 cites W2131886132 @default.
- W113452472 cites W2135909702 @default.
- W113452472 cites W2151033407 @default.
- W113452472 cites W2160005349 @default.
- W113452472 doi "https://doi.org/10.1007/978-3-642-31585-5_17" @default.
- W113452472 hasPublicationYear "2012" @default.
- W113452472 type Work @default.
- W113452472 sameAs 113452472 @default.
- W113452472 citedByCount "3" @default.
- W113452472 countsByYear W1134524722014 @default.
- W113452472 countsByYear W1134524722016 @default.
- W113452472 crossrefType "book-chapter" @default.
- W113452472 hasAuthorship W113452472A5091508237 @default.
- W113452472 hasConcept C112505250 @default.
- W113452472 hasConcept C116248031 @default.
- W113452472 hasConcept C118615104 @default.
- W113452472 hasConcept C134083981 @default.
- W113452472 hasConcept C138885662 @default.
- W113452472 hasConcept C141603448 @default.
- W113452472 hasConcept C153269930 @default.
- W113452472 hasConcept C154690210 @default.
- W113452472 hasConcept C154945302 @default.
- W113452472 hasConcept C174327141 @default.
- W113452472 hasConcept C199360897 @default.
- W113452472 hasConcept C27034413 @default.
- W113452472 hasConcept C33923547 @default.
- W113452472 hasConcept C41008148 @default.
- W113452472 hasConcept C41895202 @default.
- W113452472 hasConcept C53893814 @default.
- W113452472 hasConcept C77944639 @default.
- W113452472 hasConcept C80444323 @default.
- W113452472 hasConcept C92117001 @default.
- W113452472 hasConcept C97212296 @default.
- W113452472 hasConceptScore W113452472C112505250 @default.
- W113452472 hasConceptScore W113452472C116248031 @default.
- W113452472 hasConceptScore W113452472C118615104 @default.
- W113452472 hasConceptScore W113452472C134083981 @default.
- W113452472 hasConceptScore W113452472C138885662 @default.
- W113452472 hasConceptScore W113452472C141603448 @default.
- W113452472 hasConceptScore W113452472C153269930 @default.
- W113452472 hasConceptScore W113452472C154690210 @default.
- W113452472 hasConceptScore W113452472C154945302 @default.
- W113452472 hasConceptScore W113452472C174327141 @default.
- W113452472 hasConceptScore W113452472C199360897 @default.
- W113452472 hasConceptScore W113452472C27034413 @default.
- W113452472 hasConceptScore W113452472C33923547 @default.
- W113452472 hasConceptScore W113452472C41008148 @default.
- W113452472 hasConceptScore W113452472C41895202 @default.
- W113452472 hasConceptScore W113452472C53893814 @default.
- W113452472 hasConceptScore W113452472C77944639 @default.
- W113452472 hasConceptScore W113452472C80444323 @default.
- W113452472 hasConceptScore W113452472C92117001 @default.
- W113452472 hasConceptScore W113452472C97212296 @default.
- W113452472 hasLocation W1134524721 @default.
- W113452472 hasOpenAccess W113452472 @default.
- W113452472 hasPrimaryLocation W1134524721 @default.
- W113452472 hasRelatedWork W1533900392 @default.
- W113452472 hasRelatedWork W1826894354 @default.
- W113452472 hasRelatedWork W1853699778 @default.
- W113452472 hasRelatedWork W2027482757 @default.
- W113452472 hasRelatedWork W2041811474 @default.
- W113452472 hasRelatedWork W2055765422 @default.
- W113452472 hasRelatedWork W2074949881 @default.
- W113452472 hasRelatedWork W2097795376 @default.
- W113452472 hasRelatedWork W2101612276 @default.
- W113452472 hasRelatedWork W2102644483 @default.
- W113452472 hasRelatedWork W2107093575 @default.
- W113452472 hasRelatedWork W2117813968 @default.
- W113452472 hasRelatedWork W2121408865 @default.
- W113452472 hasRelatedWork W2135035709 @default.
- W113452472 hasRelatedWork W2183831010 @default.
- W113452472 hasRelatedWork W2953098306 @default.
- W113452472 hasRelatedWork W302044565 @default.
- W113452472 hasRelatedWork W3103530092 @default.
- W113452472 hasRelatedWork W3115605015 @default.
- W113452472 hasRelatedWork W812648345 @default.
- W113452472 isParatext "false" @default.
- W113452472 isRetracted "false" @default.
- W113452472 magId "113452472" @default.
- W113452472 workType "book-chapter" @default.