FRINK Linked Data Fragments server

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

• W1567759916 endingPage "239" @default.
• W1567759916 startingPage "228" @default.
• W1567759916 abstract "We study (collapsible) higher-order pushdown systems --- theoretically robust and well-studied models of higher-order programs --- along with their natural subclass called (collapsible) higher-order basic process algebras. We provide a comprehensive analysis of the model checking complexity of a range of both branching-time and linear-time temporal logics. We obtain tight bounds on data, expression, and combined-complexity for both (collapsible) higher-order pushdown systems and (collapsible) higher-order basic process algebra. At order-$k$, results range from polynomial to $(k+1)$-exponential time. Finally, we study (collapsible) higher-order basic process algebras as graph generators and show that they are almost as powerful as (collapsible) higher-order pushdown systems up to MSO interpretations." @default.
• W1567759916 created "2016-06-24" @default.
• W1567759916 creator A5043908029 @default.
• W1567759916 creator A5083664380 @default.
• W1567759916 date "2010-01-01" @default.
• W1567759916 modified "2023-10-17" @default.
• W1567759916 title "The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems" @default.
• W1567759916 cites W1489854863 @default.
• W1567759916 cites W1497837776 @default.
• W1567759916 cites W1518696294 @default.
• W1567759916 cites W1557750304 @default.
• W1567759916 cites W1559784852 @default.
• W1567759916 cites W1560595963 @default.
• W1567759916 cites W1576712931 @default.
• W1567759916 cites W1585989904 @default.
• W1567759916 cites W1589224558 @default.
• W1567759916 cites W1607820520 @default.
• W1567759916 cites W1612453857 @default.
• W1567759916 cites W1630483081 @default.
• W1567759916 cites W1630801303 @default.
• W1567759916 cites W1979853884 @default.
• W1567759916 cites W2030788986 @default.
• W1567759916 cites W2045826397 @default.
• W1567759916 cites W2054688981 @default.
• W1567759916 cites W2063307580 @default.
• W1567759916 cites W2087431796 @default.
• W1567759916 cites W2090800764 @default.
• W1567759916 cites W2102644483 @default.
• W1567759916 cites W2134918221 @default.
• W1567759916 cites W2138308600 @default.
• W1567759916 cites W2141505892 @default.
• W1567759916 cites W2141566236 @default.
• W1567759916 cites W2155036983 @default.
• W1567759916 cites W2155756511 @default.
• W1567759916 cites W2160005349 @default.
• W1567759916 cites W2268014521 @default.
• W1567759916 doi "https://doi.org/10.4230/lipics.fsttcs.2010.228" @default.
• W1567759916 hasPublicationYear "2010" @default.
• W1567759916 type Work @default.
• W1567759916 sameAs 1567759916 @default.
• W1567759916 citedByCount "2" @default.
• W1567759916 countsByYear W15677599162012 @default.
• W1567759916 countsByYear W15677599162014 @default.
• W1567759916 crossrefType "proceedings-article" @default.
• W1567759916 hasAuthorship W1567759916A5043908029 @default.
• W1567759916 hasAuthorship W1567759916A5083664380 @default.
• W1567759916 hasConcept C10138342 @default.
• W1567759916 hasConcept C110251889 @default.
• W1567759916 hasConcept C112505250 @default.
• W1567759916 hasConcept C118615104 @default.
• W1567759916 hasConcept C134306372 @default.
• W1567759916 hasConcept C151376022 @default.
• W1567759916 hasConcept C159985019 @default.
• W1567759916 hasConcept C162324750 @default.
• W1567759916 hasConcept C182306322 @default.
• W1567759916 hasConcept C192562407 @default.
• W1567759916 hasConcept C204323151 @default.
• W1567759916 hasConcept C311688 @default.
• W1567759916 hasConcept C33923547 @default.
• W1567759916 hasConcept C41008148 @default.
• W1567759916 hasConcept C77944639 @default.
• W1567759916 hasConcept C80444323 @default.
• W1567759916 hasConcept C90119067 @default.
• W1567759916 hasConceptScore W1567759916C10138342 @default.
• W1567759916 hasConceptScore W1567759916C110251889 @default.
• W1567759916 hasConceptScore W1567759916C112505250 @default.
• W1567759916 hasConceptScore W1567759916C118615104 @default.
• W1567759916 hasConceptScore W1567759916C134306372 @default.
• W1567759916 hasConceptScore W1567759916C151376022 @default.
• W1567759916 hasConceptScore W1567759916C159985019 @default.
• W1567759916 hasConceptScore W1567759916C162324750 @default.
• W1567759916 hasConceptScore W1567759916C182306322 @default.
• W1567759916 hasConceptScore W1567759916C192562407 @default.
• W1567759916 hasConceptScore W1567759916C204323151 @default.
• W1567759916 hasConceptScore W1567759916C311688 @default.
• W1567759916 hasConceptScore W1567759916C33923547 @default.
• W1567759916 hasConceptScore W1567759916C41008148 @default.
• W1567759916 hasConceptScore W1567759916C77944639 @default.
• W1567759916 hasConceptScore W1567759916C80444323 @default.
• W1567759916 hasConceptScore W1567759916C90119067 @default.
• W1567759916 hasLocation W15677599161 @default.
• W1567759916 hasOpenAccess W1567759916 @default.
• W1567759916 hasPrimaryLocation W15677599161 @default.
• W1567759916 hasRelatedWork W113452472 @default.
• W1567759916 hasRelatedWork W2005216772 @default.
• W1567759916 hasRelatedWork W2027482757 @default.
• W1567759916 hasRelatedWork W2092618327 @default.
• W1567759916 hasRelatedWork W2117501670 @default.
• W1567759916 hasRelatedWork W2117813968 @default.
• W1567759916 hasRelatedWork W2155036983 @default.
• W1567759916 hasRelatedWork W2155150146 @default.
• W1567759916 hasRelatedWork W2281681012 @default.
• W1567759916 hasRelatedWork W2522155987 @default.
• W1567759916 hasRelatedWork W2737034859 @default.
• W1567759916 hasRelatedWork W2748125909 @default.
• W1567759916 hasRelatedWork W2802117766 @default.
• W1567759916 hasRelatedWork W2950324689 @default.
• W1567759916 hasRelatedWork W2951519812 @default.

• next