FRINK Linked Data Fragments server

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

• W2964194240 startingPage "15" @default.
• W2964194240 abstract "We give a direct polynomial-time reduction from parity games played over the configuration graphs of collapsible pushdown systems to safety games played over the same class of graphs. That a polynomial-time reduction would exist was known since both problems are complete for the same complexity class. Coming up with a direct reduction, however, has been an open problem. Our solution to the puzzle brings together a number of techniques for pushdown games and adds three new ones. This work contributes to a recent trend of liveness to safety reductions which allow the advanced state-of-the-art in safety checking to be used for more expressive specifications." @default.
• W2964194240 created "2019-07-30" @default.
• W2964194240 creator A5064596121 @default.
• W2964194240 creator A5073533184 @default.
• W2964194240 creator A5083664380 @default.
• W2964194240 creator A5085643838 @default.
• W2964194240 date "2018-05-08" @default.
• W2964194240 modified "2023-10-17" @default.
• W2964194240 title "Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems" @default.
• W2964194240 doi "https://doi.org/10.4230/lipics.mfcs.2018.57" @default.
• W2964194240 hasPublicationYear "2018" @default.
• W2964194240 type Work @default.
• W2964194240 sameAs 2964194240 @default.
• W2964194240 citedByCount "2" @default.
• W2964194240 countsByYear W29641942402019 @default.
• W2964194240 countsByYear W29641942402020 @default.
• W2964194240 crossrefType "proceedings-article" @default.
• W2964194240 hasAuthorship W2964194240A5064596121 @default.
• W2964194240 hasAuthorship W2964194240A5073533184 @default.
• W2964194240 hasAuthorship W2964194240A5083664380 @default.
• W2964194240 hasAuthorship W2964194240A5085643838 @default.
• W2964194240 hasConcept C109214941 @default.
• W2964194240 hasConcept C110251889 @default.
• W2964194240 hasConcept C111335779 @default.
• W2964194240 hasConcept C112505250 @default.
• W2964194240 hasConcept C11413529 @default.
• W2964194240 hasConcept C116248031 @default.
• W2964194240 hasConcept C118615104 @default.
• W2964194240 hasConcept C121332964 @default.
• W2964194240 hasConcept C134083981 @default.
• W2964194240 hasConcept C134306372 @default.
• W2964194240 hasConcept C154945302 @default.
• W2964194240 hasConcept C15569618 @default.
• W2964194240 hasConcept C158008952 @default.
• W2964194240 hasConcept C2524010 @default.
• W2964194240 hasConcept C27034413 @default.
• W2964194240 hasConcept C2777151079 @default.
• W2964194240 hasConcept C2777212361 @default.
• W2964194240 hasConcept C311688 @default.
• W2964194240 hasConcept C33923547 @default.
• W2964194240 hasConcept C41008148 @default.
• W2964194240 hasConcept C53893814 @default.
• W2964194240 hasConcept C74919329 @default.
• W2964194240 hasConcept C77944639 @default.
• W2964194240 hasConcept C80444323 @default.
• W2964194240 hasConcept C90119067 @default.
• W2964194240 hasConcept C97212296 @default.
• W2964194240 hasConceptScore W2964194240C109214941 @default.
• W2964194240 hasConceptScore W2964194240C110251889 @default.
• W2964194240 hasConceptScore W2964194240C111335779 @default.
• W2964194240 hasConceptScore W2964194240C112505250 @default.
• W2964194240 hasConceptScore W2964194240C11413529 @default.
• W2964194240 hasConceptScore W2964194240C116248031 @default.
• W2964194240 hasConceptScore W2964194240C118615104 @default.
• W2964194240 hasConceptScore W2964194240C121332964 @default.
• W2964194240 hasConceptScore W2964194240C134083981 @default.
• W2964194240 hasConceptScore W2964194240C134306372 @default.
• W2964194240 hasConceptScore W2964194240C154945302 @default.
• W2964194240 hasConceptScore W2964194240C15569618 @default.
• W2964194240 hasConceptScore W2964194240C158008952 @default.
• W2964194240 hasConceptScore W2964194240C2524010 @default.
• W2964194240 hasConceptScore W2964194240C27034413 @default.
• W2964194240 hasConceptScore W2964194240C2777151079 @default.
• W2964194240 hasConceptScore W2964194240C2777212361 @default.
• W2964194240 hasConceptScore W2964194240C311688 @default.
• W2964194240 hasConceptScore W2964194240C33923547 @default.
• W2964194240 hasConceptScore W2964194240C41008148 @default.
• W2964194240 hasConceptScore W2964194240C53893814 @default.
• W2964194240 hasConceptScore W2964194240C74919329 @default.
• W2964194240 hasConceptScore W2964194240C77944639 @default.
• W2964194240 hasConceptScore W2964194240C80444323 @default.
• W2964194240 hasConceptScore W2964194240C90119067 @default.
• W2964194240 hasConceptScore W2964194240C97212296 @default.
• W2964194240 hasLocation W29641942401 @default.
• W2964194240 hasOpenAccess W2964194240 @default.
• W2964194240 hasPrimaryLocation W29641942401 @default.
• W2964194240 hasRelatedWork W1560263126 @default.
• W2964194240 hasRelatedWork W1567759916 @default.
• W2964194240 hasRelatedWork W1595576901 @default.
• W2964194240 hasRelatedWork W1853699778 @default.
• W2964194240 hasRelatedWork W2005216772 @default.
• W2964194240 hasRelatedWork W2022926878 @default.
• W2964194240 hasRelatedWork W2107093575 @default.
• W2964194240 hasRelatedWork W2117501670 @default.
• W2964194240 hasRelatedWork W2137477742 @default.
• W2964194240 hasRelatedWork W2155150146 @default.
• W2964194240 hasRelatedWork W2268014521 @default.
• W2964194240 hasRelatedWork W2279583249 @default.
• W2964194240 hasRelatedWork W2342024363 @default.
• W2964194240 hasRelatedWork W2794005610 @default.
• W2964194240 hasRelatedWork W2802117766 @default.
• W2964194240 hasRelatedWork W2950324689 @default.
• W2964194240 hasRelatedWork W3022006420 @default.
• W2964194240 hasRelatedWork W3089361136 @default.
• W2964194240 hasRelatedWork W3093342968 @default.
• W2964194240 hasRelatedWork W3148876553 @default.
• W2964194240 hasVolume "117" @default.
• W2964194240 isParatext "false" @default.
• W2964194240 isRetracted "false" @default.

• next