Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736679073> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2736679073 abstract "We address the concrete problem of verifying graph properties expressed in Monadic Second Order (MSO) logic. It is well-known that the model-checking problem for MSO logic on graphs is fixed-parameter tractable with respect to tree-width and clique-width. The proof uses tree-decompositions (for tree-width as parameter) and clique-decompositions (for clique-width as parameter), and the construction of a finite tree automaton from an MSO sentence, expressing the property to check. However, this construction may fail because either the intermediate automata are too big even though the final automaton has a reasonable size or the final automaton itself is too big to be constructed:the sizes of automata depend, exponentially in mo st cases, on the tree-width or the clique-width of the graphs to be verified. We present ideas to overcome these two causes of failure. The first idea is to give a direct construction of the automaton in order to avoid explosion in the intermediate steps of the general algorithm. When the final automaton is still too big, the second idea is to represent the transition function by a function instead of computing explicitly the set of transitions; this entirely solves the space problem. All these ideas have been implemented in Common Lisp." @default.
- W2736679073 created "2017-07-31" @default.
- W2736679073 creator A5011644256 @default.
- W2736679073 creator A5029244225 @default.
- W2736679073 date "2010-05-06" @default.
- W2736679073 modified "2023-09-30" @default.
- W2736679073 title "Verifying monadic second order graph properties with tree automata" @default.
- W2736679073 cites W1495302143 @default.
- W2736679073 cites W1517413638 @default.
- W2736679073 cites W1528199841 @default.
- W2736679073 cites W1539249567 @default.
- W2736679073 cites W1593799327 @default.
- W2736679073 cites W2019880676 @default.
- W2736679073 cites W2032273637 @default.
- W2736679073 cites W2035020702 @default.
- W2736679073 cites W2042861896 @default.
- W2736679073 cites W2055306606 @default.
- W2736679073 cites W2066585576 @default.
- W2736679073 cites W2089674328 @default.
- W2736679073 cites W2099097866 @default.
- W2736679073 cites W2109716789 @default.
- W2736679073 cites W2171507355 @default.
- W2736679073 cites W2342082360 @default.
- W2736679073 cites W2517132 @default.
- W2736679073 cites W2913688336 @default.
- W2736679073 cites W36639738 @default.
- W2736679073 hasPublicationYear "2010" @default.
- W2736679073 type Work @default.
- W2736679073 sameAs 2736679073 @default.
- W2736679073 citedByCount "7" @default.
- W2736679073 countsByYear W27366790732012 @default.
- W2736679073 countsByYear W27366790732013 @default.
- W2736679073 crossrefType "proceedings-article" @default.
- W2736679073 hasAuthorship W2736679073A5011644256 @default.
- W2736679073 hasAuthorship W2736679073A5029244225 @default.
- W2736679073 hasBestOaLocation W27366790733 @default.
- W2736679073 hasConcept C10138342 @default.
- W2736679073 hasConcept C102993220 @default.
- W2736679073 hasConcept C112505250 @default.
- W2736679073 hasConcept C113174947 @default.
- W2736679073 hasConcept C114614502 @default.
- W2736679073 hasConcept C118615104 @default.
- W2736679073 hasConcept C124656256 @default.
- W2736679073 hasConcept C132525143 @default.
- W2736679073 hasConcept C162324750 @default.
- W2736679073 hasConcept C169896238 @default.
- W2736679073 hasConcept C182306322 @default.
- W2736679073 hasConcept C33923547 @default.
- W2736679073 hasConcept C41008148 @default.
- W2736679073 hasConcept C80444323 @default.
- W2736679073 hasConceptScore W2736679073C10138342 @default.
- W2736679073 hasConceptScore W2736679073C102993220 @default.
- W2736679073 hasConceptScore W2736679073C112505250 @default.
- W2736679073 hasConceptScore W2736679073C113174947 @default.
- W2736679073 hasConceptScore W2736679073C114614502 @default.
- W2736679073 hasConceptScore W2736679073C118615104 @default.
- W2736679073 hasConceptScore W2736679073C124656256 @default.
- W2736679073 hasConceptScore W2736679073C132525143 @default.
- W2736679073 hasConceptScore W2736679073C162324750 @default.
- W2736679073 hasConceptScore W2736679073C169896238 @default.
- W2736679073 hasConceptScore W2736679073C182306322 @default.
- W2736679073 hasConceptScore W2736679073C33923547 @default.
- W2736679073 hasConceptScore W2736679073C41008148 @default.
- W2736679073 hasConceptScore W2736679073C80444323 @default.
- W2736679073 hasLocation W27366790731 @default.
- W2736679073 hasLocation W27366790732 @default.
- W2736679073 hasLocation W27366790733 @default.
- W2736679073 hasOpenAccess W2736679073 @default.
- W2736679073 hasPrimaryLocation W27366790731 @default.
- W2736679073 hasRelatedWork W1582302366 @default.
- W2736679073 hasRelatedWork W1758011472 @default.
- W2736679073 hasRelatedWork W1905633503 @default.
- W2736679073 hasRelatedWork W20126484 @default.
- W2736679073 hasRelatedWork W2024091458 @default.
- W2736679073 hasRelatedWork W2037450860 @default.
- W2736679073 hasRelatedWork W2052395110 @default.
- W2736679073 hasRelatedWork W2122253589 @default.
- W2736679073 hasRelatedWork W2915573831 @default.
- W2736679073 hasRelatedWork W2962796379 @default.
- W2736679073 isParatext "false" @default.
- W2736679073 isRetracted "false" @default.
- W2736679073 magId "2736679073" @default.
- W2736679073 workType "article" @default.