FRINK Linked Data Fragments server

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

• W1855476678 endingPage "83" @default.
• W1855476678 startingPage "58" @default.
• W1855476678 abstract "We investigate reachability in pushdown automata over infinite alphabets. We show that, in terms of reachability/emptiness, these machines can be faithfully represented using only 3r elements of the alphabet, where r is the number of registers. We settle the complexity of associated reachability/emptiness problems. In contrast to register automata, the emptiness problem for pushdown register automata is EXPTIME-complete, independent of the register storage policy used. We also solve the global reachability problem by representing pushdown configurations with a special register automaton. Finally, we examine extensions of pushdown storage to higher orders and show that reachability is undecidable at order 2." @default.
• W1855476678 created "2016-06-24" @default.
• W1855476678 creator A5000119795 @default.
• W1855476678 creator A5035196790 @default.
• W1855476678 creator A5041266426 @default.
• W1855476678 date "2017-08-01" @default.
• W1855476678 modified "2023-09-24" @default.
• W1855476678 title "Reachability in pushdown register automata" @default.
• W1855476678 cites W1975082667 @default.
• W1855476678 cites W1994458424 @default.
• W1855476678 cites W2011432313 @default.
• W1855476678 cites W2030788986 @default.
• W1855476678 cites W2042546332 @default.
• W1855476678 cites W2044772623 @default.
• W1855476678 cites W2056665285 @default.
• W1855476678 cites W2070934866 @default.
• W1855476678 cites W2073614038 @default.
• W1855476678 cites W2079275582 @default.
• W1855476678 cites W2081396910 @default.
• W1855476678 cites W2096202696 @default.
• W1855476678 cites W2163310156 @default.
• W1855476678 cites W2177814128 @default.
• W1855476678 doi "https://doi.org/10.1016/j.jcss.2017.02.008" @default.
• W1855476678 hasPublicationYear "2017" @default.
• W1855476678 type Work @default.
• W1855476678 sameAs 1855476678 @default.
• W1855476678 citedByCount "10" @default.
• W1855476678 countsByYear W18554766782020 @default.
• W1855476678 countsByYear W18554766782021 @default.
• W1855476678 countsByYear W18554766782022 @default.
• W1855476678 countsByYear W18554766782023 @default.
• W1855476678 crossrefType "journal-article" @default.
• W1855476678 hasAuthorship W1855476678A5000119795 @default.
• W1855476678 hasAuthorship W1855476678A5035196790 @default.
• W1855476678 hasAuthorship W1855476678A5041266426 @default.
• W1855476678 hasBestOaLocation W18554766781 @default.
• W1855476678 hasConcept C112505250 @default.
• W1855476678 hasConcept C11413529 @default.
• W1855476678 hasConcept C114614502 @default.
• W1855476678 hasConcept C116248031 @default.
• W1855476678 hasConcept C118615104 @default.
• W1855476678 hasConcept C134083981 @default.
• W1855476678 hasConcept C136643341 @default.
• W1855476678 hasConcept C138885662 @default.
• W1855476678 hasConcept C153269930 @default.
• W1855476678 hasConcept C154945302 @default.
• W1855476678 hasConcept C158008952 @default.
• W1855476678 hasConcept C174327141 @default.
• W1855476678 hasConcept C192034797 @default.
• W1855476678 hasConcept C27034413 @default.
• W1855476678 hasConcept C27206212 @default.
• W1855476678 hasConcept C2777669093 @default.
• W1855476678 hasConcept C2779150620 @default.
• W1855476678 hasConcept C2779235478 @default.
• W1855476678 hasConcept C33923547 @default.
• W1855476678 hasConcept C41008148 @default.
• W1855476678 hasConcept C41895202 @default.
• W1855476678 hasConcept C53893814 @default.
• W1855476678 hasConcept C74919329 @default.
• W1855476678 hasConcept C77944639 @default.
• W1855476678 hasConcept C80444323 @default.
• W1855476678 hasConcept C92117001 @default.
• W1855476678 hasConcept C97212296 @default.
• W1855476678 hasConceptScore W1855476678C112505250 @default.
• W1855476678 hasConceptScore W1855476678C11413529 @default.
• W1855476678 hasConceptScore W1855476678C114614502 @default.
• W1855476678 hasConceptScore W1855476678C116248031 @default.
• W1855476678 hasConceptScore W1855476678C118615104 @default.
• W1855476678 hasConceptScore W1855476678C134083981 @default.
• W1855476678 hasConceptScore W1855476678C136643341 @default.
• W1855476678 hasConceptScore W1855476678C138885662 @default.
• W1855476678 hasConceptScore W1855476678C153269930 @default.
• W1855476678 hasConceptScore W1855476678C154945302 @default.
• W1855476678 hasConceptScore W1855476678C158008952 @default.
• W1855476678 hasConceptScore W1855476678C174327141 @default.
• W1855476678 hasConceptScore W1855476678C192034797 @default.
• W1855476678 hasConceptScore W1855476678C27034413 @default.
• W1855476678 hasConceptScore W1855476678C27206212 @default.
• W1855476678 hasConceptScore W1855476678C2777669093 @default.
• W1855476678 hasConceptScore W1855476678C2779150620 @default.
• W1855476678 hasConceptScore W1855476678C2779235478 @default.
• W1855476678 hasConceptScore W1855476678C33923547 @default.
• W1855476678 hasConceptScore W1855476678C41008148 @default.
• W1855476678 hasConceptScore W1855476678C41895202 @default.
• W1855476678 hasConceptScore W1855476678C53893814 @default.
• W1855476678 hasConceptScore W1855476678C74919329 @default.
• W1855476678 hasConceptScore W1855476678C77944639 @default.
• W1855476678 hasConceptScore W1855476678C80444323 @default.
• W1855476678 hasConceptScore W1855476678C92117001 @default.
• W1855476678 hasConceptScore W1855476678C97212296 @default.
• W1855476678 hasLocation W18554766781 @default.
• W1855476678 hasLocation W18554766782 @default.
• W1855476678 hasLocation W18554766783 @default.
• W1855476678 hasLocation W18554766784 @default.
• W1855476678 hasLocation W18554766785 @default.
• W1855476678 hasLocation W18554766786 @default.
• W1855476678 hasOpenAccess W1855476678 @default.
• W1855476678 hasPrimaryLocation W18554766781 @default.

• next