Matches in SemOpenAlex for { <https://semopenalex.org/work/W1636778749> ?p ?o ?g. }
- W1636778749 abstract "Frick and Grohe [J. ACM 48 (2006), 1184–1206] introduced a notion of graph classes with locally bounded tree-width and established that every first order logic property can be decided in almost linear time in such a graph class. Here, we introduce an analogous notion for matroids (locally bounded branch-width) and show the existence of a fixed parameter algorithm for first order logic properties in classes of regular matroids with locally bounded branch-width. To obtain this result, we show that the problem of deciding the existence of a circuit of length at most k containing two given elements is fixed parameter tractable for regular matroids." @default.
- W1636778749 created "2016-06-24" @default.
- W1636778749 creator A5027559065 @default.
- W1636778749 creator A5033114427 @default.
- W1636778749 creator A5082994085 @default.
- W1636778749 date "2011-08-27" @default.
- W1636778749 modified "2023-09-27" @default.
- W1636778749 title "Deciding First Order Logic Properties of Matroids" @default.
- W1636778749 cites W1517150411 @default.
- W1636778749 cites W1563892973 @default.
- W1636778749 cites W1602589099 @default.
- W1636778749 cites W1963871092 @default.
- W1636778749 cites W1964824436 @default.
- W1636778749 cites W1980069488 @default.
- W1636778749 cites W1980469100 @default.
- W1636778749 cites W1992996900 @default.
- W1636778749 cites W1993920925 @default.
- W1636778749 cites W2028357390 @default.
- W1636778749 cites W2040101882 @default.
- W1636778749 cites W2047871605 @default.
- W1636778749 cites W2057826895 @default.
- W1636778749 cites W2063951771 @default.
- W1636778749 cites W2067431706 @default.
- W1636778749 cites W2078674325 @default.
- W1636778749 cites W2079301493 @default.
- W1636778749 cites W2085367693 @default.
- W1636778749 cites W2086318795 @default.
- W1636778749 cites W2091264711 @default.
- W1636778749 cites W2092904196 @default.
- W1636778749 cites W2124442576 @default.
- W1636778749 cites W2165880875 @default.
- W1636778749 cites W2182109708 @default.
- W1636778749 cites W2588904535 @default.
- W1636778749 cites W2951094307 @default.
- W1636778749 hasPublicationYear "2011" @default.
- W1636778749 type Work @default.
- W1636778749 sameAs 1636778749 @default.
- W1636778749 citedByCount "1" @default.
- W1636778749 countsByYear W16367787492015 @default.
- W1636778749 crossrefType "posted-content" @default.
- W1636778749 hasAuthorship W1636778749A5027559065 @default.
- W1636778749 hasAuthorship W1636778749A5033114427 @default.
- W1636778749 hasAuthorship W1636778749A5082994085 @default.
- W1636778749 hasConcept C10138342 @default.
- W1636778749 hasConcept C106286213 @default.
- W1636778749 hasConcept C111034964 @default.
- W1636778749 hasConcept C111472728 @default.
- W1636778749 hasConcept C114614502 @default.
- W1636778749 hasConcept C118615104 @default.
- W1636778749 hasConcept C132525143 @default.
- W1636778749 hasConcept C134306372 @default.
- W1636778749 hasConcept C138885662 @default.
- W1636778749 hasConcept C154945302 @default.
- W1636778749 hasConcept C162324750 @default.
- W1636778749 hasConcept C182306322 @default.
- W1636778749 hasConcept C189950617 @default.
- W1636778749 hasConcept C2777212361 @default.
- W1636778749 hasConcept C33923547 @default.
- W1636778749 hasConcept C34388435 @default.
- W1636778749 hasConcept C41008148 @default.
- W1636778749 hasConceptScore W1636778749C10138342 @default.
- W1636778749 hasConceptScore W1636778749C106286213 @default.
- W1636778749 hasConceptScore W1636778749C111034964 @default.
- W1636778749 hasConceptScore W1636778749C111472728 @default.
- W1636778749 hasConceptScore W1636778749C114614502 @default.
- W1636778749 hasConceptScore W1636778749C118615104 @default.
- W1636778749 hasConceptScore W1636778749C132525143 @default.
- W1636778749 hasConceptScore W1636778749C134306372 @default.
- W1636778749 hasConceptScore W1636778749C138885662 @default.
- W1636778749 hasConceptScore W1636778749C154945302 @default.
- W1636778749 hasConceptScore W1636778749C162324750 @default.
- W1636778749 hasConceptScore W1636778749C182306322 @default.
- W1636778749 hasConceptScore W1636778749C189950617 @default.
- W1636778749 hasConceptScore W1636778749C2777212361 @default.
- W1636778749 hasConceptScore W1636778749C33923547 @default.
- W1636778749 hasConceptScore W1636778749C34388435 @default.
- W1636778749 hasConceptScore W1636778749C41008148 @default.
- W1636778749 hasLocation W16367787491 @default.
- W1636778749 hasOpenAccess W1636778749 @default.
- W1636778749 hasPrimaryLocation W16367787491 @default.
- W1636778749 hasRelatedWork W113209803 @default.
- W1636778749 hasRelatedWork W1494513799 @default.
- W1636778749 hasRelatedWork W1524879434 @default.
- W1636778749 hasRelatedWork W1852495590 @default.
- W1636778749 hasRelatedWork W1987288831 @default.
- W1636778749 hasRelatedWork W2018876684 @default.
- W1636778749 hasRelatedWork W2064113986 @default.
- W1636778749 hasRelatedWork W2109716789 @default.
- W1636778749 hasRelatedWork W2152839970 @default.
- W1636778749 hasRelatedWork W2243954424 @default.
- W1636778749 hasRelatedWork W2903809398 @default.
- W1636778749 hasRelatedWork W2912403374 @default.
- W1636778749 hasRelatedWork W2949904570 @default.
- W1636778749 hasRelatedWork W2951305112 @default.
- W1636778749 hasRelatedWork W2962706077 @default.
- W1636778749 hasRelatedWork W2969906584 @default.
- W1636778749 hasRelatedWork W2990947232 @default.
- W1636778749 hasRelatedWork W3013354399 @default.
- W1636778749 hasRelatedWork W3040059890 @default.
- W1636778749 hasRelatedWork W1675346939 @default.