Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874021660> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1874021660 abstract "We present a general method for proving DP-hardness of equivalence-checking problems on one-counter automata. For this we show a reduction of the Sat-Unsat problem to the truth problem for a fragment of (Presburger) arithmetic. The fragment contains only special formulas with one free variable, and is particularly apt for transforming to simulation-like equivalences on one-counter automata. In this way we show that the membership problem for any relation subsuming bisimilarity and subsumed by simulation preorder is DP-hard (even) for one-counter nets (where the counter cannot be tested for zero). We also show DP-hardness for deciding simulation between one-counter automata and finite-state systems (in both directions)." @default.
- W1874021660 created "2016-06-24" @default.
- W1874021660 creator A5019575165 @default.
- W1874021660 creator A5032164630 @default.
- W1874021660 creator A5053563069 @default.
- W1874021660 creator A5056318238 @default.
- W1874021660 date "2002-01-01" @default.
- W1874021660 modified "2023-09-25" @default.
- W1874021660 title "Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds*" @default.
- W1874021660 cites W1494276033 @default.
- W1874021660 cites W1547562281 @default.
- W1874021660 cites W1558490143 @default.
- W1874021660 cites W1564499369 @default.
- W1874021660 cites W1576991481 @default.
- W1874021660 cites W1612453857 @default.
- W1874021660 cites W1997640494 @default.
- W1874021660 cites W2045826397 @default.
- W1874021660 cites W2060254679 @default.
- W1874021660 cites W2082480798 @default.
- W1874021660 cites W2124630420 @default.
- W1874021660 cites W3022006420 @default.
- W1874021660 doi "https://doi.org/10.1007/3-540-45931-6_13" @default.
- W1874021660 hasPublicationYear "2002" @default.
- W1874021660 type Work @default.
- W1874021660 sameAs 1874021660 @default.
- W1874021660 citedByCount "4" @default.
- W1874021660 countsByYear W18740216602012 @default.
- W1874021660 crossrefType "book-chapter" @default.
- W1874021660 hasAuthorship W1874021660A5019575165 @default.
- W1874021660 hasAuthorship W1874021660A5032164630 @default.
- W1874021660 hasAuthorship W1874021660A5053563069 @default.
- W1874021660 hasAuthorship W1874021660A5056318238 @default.
- W1874021660 hasBestOaLocation W18740216601 @default.
- W1874021660 hasConcept C110251889 @default.
- W1874021660 hasConcept C112505250 @default.
- W1874021660 hasConcept C11413529 @default.
- W1874021660 hasConcept C118615104 @default.
- W1874021660 hasConcept C153269930 @default.
- W1874021660 hasConcept C156103551 @default.
- W1874021660 hasConcept C162838799 @default.
- W1874021660 hasConcept C167822520 @default.
- W1874021660 hasConcept C2333172 @default.
- W1874021660 hasConcept C2776235265 @default.
- W1874021660 hasConcept C2780069185 @default.
- W1874021660 hasConcept C33923547 @default.
- W1874021660 hasConcept C41008148 @default.
- W1874021660 hasConcept C5852641 @default.
- W1874021660 hasConcept C77944639 @default.
- W1874021660 hasConcept C80444323 @default.
- W1874021660 hasConceptScore W1874021660C110251889 @default.
- W1874021660 hasConceptScore W1874021660C112505250 @default.
- W1874021660 hasConceptScore W1874021660C11413529 @default.
- W1874021660 hasConceptScore W1874021660C118615104 @default.
- W1874021660 hasConceptScore W1874021660C153269930 @default.
- W1874021660 hasConceptScore W1874021660C156103551 @default.
- W1874021660 hasConceptScore W1874021660C162838799 @default.
- W1874021660 hasConceptScore W1874021660C167822520 @default.
- W1874021660 hasConceptScore W1874021660C2333172 @default.
- W1874021660 hasConceptScore W1874021660C2776235265 @default.
- W1874021660 hasConceptScore W1874021660C2780069185 @default.
- W1874021660 hasConceptScore W1874021660C33923547 @default.
- W1874021660 hasConceptScore W1874021660C41008148 @default.
- W1874021660 hasConceptScore W1874021660C5852641 @default.
- W1874021660 hasConceptScore W1874021660C77944639 @default.
- W1874021660 hasConceptScore W1874021660C80444323 @default.
- W1874021660 hasLocation W18740216601 @default.
- W1874021660 hasOpenAccess W1874021660 @default.
- W1874021660 hasPrimaryLocation W18740216601 @default.
- W1874021660 hasRelatedWork W1483297077 @default.
- W1874021660 hasRelatedWork W1503973138 @default.
- W1874021660 hasRelatedWork W1547562281 @default.
- W1874021660 hasRelatedWork W1835836356 @default.
- W1874021660 hasRelatedWork W2082480798 @default.
- W1874021660 hasRelatedWork W2158185919 @default.
- W1874021660 hasRelatedWork W2160831798 @default.
- W1874021660 hasRelatedWork W220767771 @default.
- W1874021660 hasRelatedWork W2404201658 @default.
- W1874021660 hasRelatedWork W2583206604 @default.
- W1874021660 hasRelatedWork W2729459578 @default.
- W1874021660 hasRelatedWork W2766070042 @default.
- W1874021660 hasRelatedWork W2885898631 @default.
- W1874021660 hasRelatedWork W2955084936 @default.
- W1874021660 hasRelatedWork W2963524373 @default.
- W1874021660 hasRelatedWork W3023211140 @default.
- W1874021660 hasRelatedWork W3030301544 @default.
- W1874021660 hasRelatedWork W3104920051 @default.
- W1874021660 hasRelatedWork W3106192438 @default.
- W1874021660 hasRelatedWork W3126043357 @default.
- W1874021660 isParatext "false" @default.
- W1874021660 isRetracted "false" @default.
- W1874021660 magId "1874021660" @default.
- W1874021660 workType "book-chapter" @default.