Matches in SemOpenAlex for { <https://semopenalex.org/work/W1509656078> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1509656078 endingPage "256" @default.
- W1509656078 startingPage "244" @default.
- W1509656078 abstract "A discrete pushdown timed automaton is a pushdown machine with integer-valued clocks. It has been shown recently that the binary reachability of a discrete pushdown timed automaton can be accepted by a 2-tape pushdown acceptor with reversal-bounded counters. We improve this result by showing that the stack can be removed from the acceptor, i.e., the binary reachability can be accepted by a 2-tape finite-state acceptor with reversal-bounded counters.We also obtain similar results for more general machine models. Our characterizations can be used to verify certain properties concerning these machines that were not verifiable before using previous techniques. We are also able to formulate a subset of Presburger LTL that is decidable for satisfiability-checking with respect to these machines." @default.
- W1509656078 created "2016-06-24" @default.
- W1509656078 creator A5040068875 @default.
- W1509656078 creator A5074809336 @default.
- W1509656078 date "2001-01-01" @default.
- W1509656078 modified "2023-10-16" @default.
- W1509656078 title "On Removing the Pushdown Stack in Reachability Constructions" @default.
- W1509656078 cites W1532358383 @default.
- W1509656078 cites W1563348382 @default.
- W1509656078 cites W1583158796 @default.
- W1509656078 cites W1589224558 @default.
- W1509656078 cites W1595300261 @default.
- W1509656078 cites W1855380557 @default.
- W1509656078 cites W2023999667 @default.
- W1509656078 cites W2084642400 @default.
- W1509656078 cites W2101508170 @default.
- W1509656078 cites W2114755906 @default.
- W1509656078 cites W2123160677 @default.
- W1509656078 cites W2344671925 @default.
- W1509656078 doi "https://doi.org/10.1007/3-540-45678-3_22" @default.
- W1509656078 hasPublicationYear "2001" @default.
- W1509656078 type Work @default.
- W1509656078 sameAs 1509656078 @default.
- W1509656078 citedByCount "3" @default.
- W1509656078 crossrefType "book-chapter" @default.
- W1509656078 hasAuthorship W1509656078A5040068875 @default.
- W1509656078 hasAuthorship W1509656078A5074809336 @default.
- W1509656078 hasConcept C112505250 @default.
- W1509656078 hasConcept C11413529 @default.
- W1509656078 hasConcept C116248031 @default.
- W1509656078 hasConcept C118615104 @default.
- W1509656078 hasConcept C134083981 @default.
- W1509656078 hasConcept C134306372 @default.
- W1509656078 hasConcept C136643341 @default.
- W1509656078 hasConcept C153269930 @default.
- W1509656078 hasConcept C158008952 @default.
- W1509656078 hasConcept C186644900 @default.
- W1509656078 hasConcept C199360897 @default.
- W1509656078 hasConcept C27034413 @default.
- W1509656078 hasConcept C2777669093 @default.
- W1509656078 hasConcept C33923547 @default.
- W1509656078 hasConcept C34388435 @default.
- W1509656078 hasConcept C41008148 @default.
- W1509656078 hasConcept C74919329 @default.
- W1509656078 hasConcept C77944639 @default.
- W1509656078 hasConcept C80444323 @default.
- W1509656078 hasConcept C9395851 @default.
- W1509656078 hasConcept C97212296 @default.
- W1509656078 hasConceptScore W1509656078C112505250 @default.
- W1509656078 hasConceptScore W1509656078C11413529 @default.
- W1509656078 hasConceptScore W1509656078C116248031 @default.
- W1509656078 hasConceptScore W1509656078C118615104 @default.
- W1509656078 hasConceptScore W1509656078C134083981 @default.
- W1509656078 hasConceptScore W1509656078C134306372 @default.
- W1509656078 hasConceptScore W1509656078C136643341 @default.
- W1509656078 hasConceptScore W1509656078C153269930 @default.
- W1509656078 hasConceptScore W1509656078C158008952 @default.
- W1509656078 hasConceptScore W1509656078C186644900 @default.
- W1509656078 hasConceptScore W1509656078C199360897 @default.
- W1509656078 hasConceptScore W1509656078C27034413 @default.
- W1509656078 hasConceptScore W1509656078C2777669093 @default.
- W1509656078 hasConceptScore W1509656078C33923547 @default.
- W1509656078 hasConceptScore W1509656078C34388435 @default.
- W1509656078 hasConceptScore W1509656078C41008148 @default.
- W1509656078 hasConceptScore W1509656078C74919329 @default.
- W1509656078 hasConceptScore W1509656078C77944639 @default.
- W1509656078 hasConceptScore W1509656078C80444323 @default.
- W1509656078 hasConceptScore W1509656078C9395851 @default.
- W1509656078 hasConceptScore W1509656078C97212296 @default.
- W1509656078 hasLocation W15096560781 @default.
- W1509656078 hasOpenAccess W1509656078 @default.
- W1509656078 hasPrimaryLocation W15096560781 @default.
- W1509656078 hasRelatedWork W1594689556 @default.
- W1509656078 hasRelatedWork W163324349 @default.
- W1509656078 hasRelatedWork W2036539537 @default.
- W1509656078 hasRelatedWork W2069826658 @default.
- W1509656078 hasRelatedWork W2103587987 @default.
- W1509656078 hasRelatedWork W2517248350 @default.
- W1509656078 hasRelatedWork W2752436574 @default.
- W1509656078 hasRelatedWork W2952110185 @default.
- W1509656078 hasRelatedWork W428839547 @default.
- W1509656078 hasRelatedWork W2182165215 @default.
- W1509656078 isParatext "false" @default.
- W1509656078 isRetracted "false" @default.
- W1509656078 magId "1509656078" @default.
- W1509656078 workType "book-chapter" @default.