Matches in SemOpenAlex for { <https://semopenalex.org/work/W221278049> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W221278049 abstract "The model of tree automata with equality and disequality constraints was introduced in 2007 by Filiot, Talbot and Tison. In this paper we show that if there is at least one disequality constraint, the emptiness problem is NP-hard." @default.
- W221278049 created "2016-06-24" @default.
- W221278049 creator A5009579082 @default.
- W221278049 creator A5070920431 @default.
- W221278049 creator A5081683705 @default.
- W221278049 date "2017-02-01" @default.
- W221278049 modified "2023-09-25" @default.
- W221278049 title "The emptiness problem for tree automata with at least one global disequality constraint is NP-hard" @default.
- W221278049 cites W1517909403 @default.
- W221278049 cites W1523878602 @default.
- W221278049 cites W1532452539 @default.
- W221278049 cites W160847359 @default.
- W221278049 cites W1989597513 @default.
- W221278049 cites W1997436239 @default.
- W221278049 cites W2032900579 @default.
- W221278049 cites W2094342038 @default.
- W221278049 cites W2126978970 @default.
- W221278049 cites W2620666019 @default.
- W221278049 cites W613810508 @default.
- W221278049 cites W67533968 @default.
- W221278049 cites W94735722 @default.
- W221278049 doi "https://doi.org/10.1016/j.ipl.2016.09.007" @default.
- W221278049 hasPublicationYear "2017" @default.
- W221278049 type Work @default.
- W221278049 sameAs 221278049 @default.
- W221278049 citedByCount "1" @default.
- W221278049 countsByYear W2212780492017 @default.
- W221278049 crossrefType "journal-article" @default.
- W221278049 hasAuthorship W221278049A5009579082 @default.
- W221278049 hasAuthorship W221278049A5070920431 @default.
- W221278049 hasAuthorship W221278049A5081683705 @default.
- W221278049 hasConcept C105795698 @default.
- W221278049 hasConcept C112505250 @default.
- W221278049 hasConcept C113174947 @default.
- W221278049 hasConcept C114614502 @default.
- W221278049 hasConcept C118615104 @default.
- W221278049 hasConcept C138885662 @default.
- W221278049 hasConcept C199622910 @default.
- W221278049 hasConcept C2524010 @default.
- W221278049 hasConcept C27206212 @default.
- W221278049 hasConcept C2776036281 @default.
- W221278049 hasConcept C2779150620 @default.
- W221278049 hasConcept C33923547 @default.
- W221278049 hasConcept C41008148 @default.
- W221278049 hasConcept C49937458 @default.
- W221278049 hasConcept C80444323 @default.
- W221278049 hasConceptScore W221278049C105795698 @default.
- W221278049 hasConceptScore W221278049C112505250 @default.
- W221278049 hasConceptScore W221278049C113174947 @default.
- W221278049 hasConceptScore W221278049C114614502 @default.
- W221278049 hasConceptScore W221278049C118615104 @default.
- W221278049 hasConceptScore W221278049C138885662 @default.
- W221278049 hasConceptScore W221278049C199622910 @default.
- W221278049 hasConceptScore W221278049C2524010 @default.
- W221278049 hasConceptScore W221278049C27206212 @default.
- W221278049 hasConceptScore W221278049C2776036281 @default.
- W221278049 hasConceptScore W221278049C2779150620 @default.
- W221278049 hasConceptScore W221278049C33923547 @default.
- W221278049 hasConceptScore W221278049C41008148 @default.
- W221278049 hasConceptScore W221278049C49937458 @default.
- W221278049 hasConceptScore W221278049C80444323 @default.
- W221278049 hasLocation W2212780491 @default.
- W221278049 hasOpenAccess W221278049 @default.
- W221278049 hasPrimaryLocation W2212780491 @default.
- W221278049 hasRelatedWork W1498432341 @default.
- W221278049 hasRelatedWork W1531510760 @default.
- W221278049 hasRelatedWork W1560227484 @default.
- W221278049 hasRelatedWork W1568363005 @default.
- W221278049 hasRelatedWork W1576141163 @default.
- W221278049 hasRelatedWork W160847359 @default.
- W221278049 hasRelatedWork W1856962451 @default.
- W221278049 hasRelatedWork W1944541449 @default.
- W221278049 hasRelatedWork W2056097558 @default.
- W221278049 hasRelatedWork W2059186017 @default.
- W221278049 hasRelatedWork W2060424328 @default.
- W221278049 hasRelatedWork W2088892929 @default.
- W221278049 hasRelatedWork W2137997862 @default.
- W221278049 hasRelatedWork W2150447589 @default.
- W221278049 hasRelatedWork W2242966638 @default.
- W221278049 hasRelatedWork W2481729132 @default.
- W221278049 hasRelatedWork W2500426491 @default.
- W221278049 hasRelatedWork W2925957576 @default.
- W221278049 hasRelatedWork W3092431169 @default.
- W221278049 hasRelatedWork W2584389337 @default.
- W221278049 isParatext "false" @default.
- W221278049 isRetracted "false" @default.
- W221278049 magId "221278049" @default.
- W221278049 workType "article" @default.