FRINK Linked Data Fragments server

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

• W2401679980 startingPage "134" @default.
• W2401679980 abstract "We present a complete classification of the parameterized complexity of all operator fragments of the satisfiability problem in computation tree logic CTL. The investigated parameterization is temporal depth and pathwidth. Our results show a dichotomy between W[1]-hard and fixed-parameter tractable fragments. The two real operator fragments which are in FPT are the fragments containing solely AF, or AX. Also we prove a generalization of Courcelle’s theorem to infinite vocabularies which will be used to proof the FPT-membership cases." @default.
• W2401679980 created "2016-06-24" @default.
• W2401679980 creator A5025571978 @default.
• W2401679980 creator A5051561171 @default.
• W2401679980 creator A5062261702 @default.
• W2401679980 date "2014-01-01" @default.
• W2401679980 modified "2023-09-25" @default.
• W2401679980 title "Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies." @default.
• W2401679980 cites W1488709943 @default.
• W2401679980 cites W1570425181 @default.
• W2401679980 cites W1590315663 @default.
• W2401679980 cites W1623604111 @default.
• W2401679980 cites W2023808162 @default.
• W2401679980 cites W2067441543 @default.
• W2401679980 cites W2075530391 @default.
• W2401679980 cites W2113132662 @default.
• W2401679980 cites W2119468705 @default.
• W2401679980 cites W2149632978 @default.
• W2401679980 cites W2319388297 @default.
• W2401679980 cites W2337001611 @default.
• W2401679980 cites W2610670723 @default.
• W2401679980 cites W2913688336 @default.
• W2401679980 cites W3144889436 @default.
• W2401679980 hasPublicationYear "2014" @default.
• W2401679980 type Work @default.
• W2401679980 sameAs 2401679980 @default.
• W2401679980 citedByCount "0" @default.
• W2401679980 crossrefType "journal-article" @default.
• W2401679980 hasAuthorship W2401679980A5025571978 @default.
• W2401679980 hasAuthorship W2401679980A5051561171 @default.
• W2401679980 hasAuthorship W2401679980A5062261702 @default.
• W2401679980 hasConcept C104317684 @default.
• W2401679980 hasConcept C110251889 @default.
• W2401679980 hasConcept C113174947 @default.
• W2401679980 hasConcept C11413529 @default.
• W2401679980 hasConcept C114614502 @default.
• W2401679980 hasConcept C118615104 @default.
• W2401679980 hasConcept C134306372 @default.
• W2401679980 hasConcept C147969180 @default.
• W2401679980 hasConcept C154317977 @default.
• W2401679980 hasConcept C158448853 @default.
• W2401679980 hasConcept C165464430 @default.
• W2401679980 hasConcept C168773769 @default.
• W2401679980 hasConcept C17020691 @default.
• W2401679980 hasConcept C177148314 @default.
• W2401679980 hasConcept C185592680 @default.
• W2401679980 hasConcept C198008173 @default.
• W2401679980 hasConcept C202751555 @default.
• W2401679980 hasConcept C33923547 @default.
• W2401679980 hasConcept C45374587 @default.
• W2401679980 hasConcept C55493867 @default.
• W2401679980 hasConcept C6943359 @default.
• W2401679980 hasConcept C86339819 @default.
• W2401679980 hasConceptScore W2401679980C104317684 @default.
• W2401679980 hasConceptScore W2401679980C110251889 @default.
• W2401679980 hasConceptScore W2401679980C113174947 @default.
• W2401679980 hasConceptScore W2401679980C11413529 @default.
• W2401679980 hasConceptScore W2401679980C114614502 @default.
• W2401679980 hasConceptScore W2401679980C118615104 @default.
• W2401679980 hasConceptScore W2401679980C134306372 @default.
• W2401679980 hasConceptScore W2401679980C147969180 @default.
• W2401679980 hasConceptScore W2401679980C154317977 @default.
• W2401679980 hasConceptScore W2401679980C158448853 @default.
• W2401679980 hasConceptScore W2401679980C165464430 @default.
• W2401679980 hasConceptScore W2401679980C168773769 @default.
• W2401679980 hasConceptScore W2401679980C17020691 @default.
• W2401679980 hasConceptScore W2401679980C177148314 @default.
• W2401679980 hasConceptScore W2401679980C185592680 @default.
• W2401679980 hasConceptScore W2401679980C198008173 @default.
• W2401679980 hasConceptScore W2401679980C202751555 @default.
• W2401679980 hasConceptScore W2401679980C33923547 @default.
• W2401679980 hasConceptScore W2401679980C45374587 @default.
• W2401679980 hasConceptScore W2401679980C55493867 @default.
• W2401679980 hasConceptScore W2401679980C6943359 @default.
• W2401679980 hasConceptScore W2401679980C86339819 @default.
• W2401679980 hasLocation W24016799801 @default.
• W2401679980 hasOpenAccess W2401679980 @default.
• W2401679980 hasPrimaryLocation W24016799801 @default.
• W2401679980 hasRelatedWork W1481567709 @default.
• W2401679980 hasRelatedWork W151552961 @default.
• W2401679980 hasRelatedWork W1572996061 @default.
• W2401679980 hasRelatedWork W1586036035 @default.
• W2401679980 hasRelatedWork W1600636537 @default.
• W2401679980 hasRelatedWork W1767868015 @default.
• W2401679980 hasRelatedWork W1781010059 @default.
• W2401679980 hasRelatedWork W1891223022 @default.
• W2401679980 hasRelatedWork W2027602125 @default.
• W2401679980 hasRelatedWork W2041403185 @default.
• W2401679980 hasRelatedWork W2042861896 @default.
• W2401679980 hasRelatedWork W2132914818 @default.
• W2401679980 hasRelatedWork W2156117182 @default.
• W2401679980 hasRelatedWork W2162803372 @default.
• W2401679980 hasRelatedWork W2165930340 @default.
• W2401679980 hasRelatedWork W2591308396 @default.
• W2401679980 hasRelatedWork W2949788841 @default.
• W2401679980 hasRelatedWork W2950537788 @default.
• W2401679980 hasRelatedWork W3105392741 @default.
• W2401679980 hasRelatedWork W1843939751 @default.
• W2401679980 hasVolume "21" @default.

• next