Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497805930> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1497805930 endingPage "22" @default.
- W1497805930 startingPage "2" @default.
- W1497805930 abstract "We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability problems. Antichains are more succinct than the sets of states manipulated by the traditional fixpoint algorithms. The theory justifies the correctness of the antichain algorithms, and applications such as the universality problem for finite automata illustrate efficiency improvements. Finally, we show that new and provably better antichain algorithms can be obtained for the emptiness problem of alternating automata over finite and infinite words." @default.
- W1497805930 created "2016-06-24" @default.
- W1497805930 creator A5013106333 @default.
- W1497805930 creator A5050196522 @default.
- W1497805930 date "2010-01-01" @default.
- W1497805930 modified "2023-10-11" @default.
- W1497805930 title "Antichain Algorithms for Finite Automata" @default.
- W1497805930 cites W1528149868 @default.
- W1497805930 cites W1548996544 @default.
- W1497805930 cites W1588454361 @default.
- W1497805930 cites W1592306554 @default.
- W1497805930 cites W1602317429 @default.
- W1497805930 cites W1606443439 @default.
- W1497805930 cites W1639224022 @default.
- W1497805930 cites W1731774687 @default.
- W1497805930 cites W1967174286 @default.
- W1497805930 cites W1976773489 @default.
- W1497805930 cites W1990609140 @default.
- W1497805930 cites W2059045337 @default.
- W1497805930 cites W2069888227 @default.
- W1497805930 cites W2073874233 @default.
- W1497805930 cites W2086970337 @default.
- W1497805930 cites W2095620890 @default.
- W1497805930 cites W2147830304 @default.
- W1497805930 cites W4241108585 @default.
- W1497805930 cites W795105708 @default.
- W1497805930 doi "https://doi.org/10.1007/978-3-642-12002-2_2" @default.
- W1497805930 hasPublicationYear "2010" @default.
- W1497805930 type Work @default.
- W1497805930 sameAs 1497805930 @default.
- W1497805930 citedByCount "56" @default.
- W1497805930 countsByYear W14978059302012 @default.
- W1497805930 countsByYear W14978059302013 @default.
- W1497805930 countsByYear W14978059302014 @default.
- W1497805930 countsByYear W14978059302015 @default.
- W1497805930 countsByYear W14978059302016 @default.
- W1497805930 countsByYear W14978059302017 @default.
- W1497805930 countsByYear W14978059302019 @default.
- W1497805930 countsByYear W14978059302020 @default.
- W1497805930 countsByYear W14978059302021 @default.
- W1497805930 countsByYear W14978059302023 @default.
- W1497805930 crossrefType "book-chapter" @default.
- W1497805930 hasAuthorship W1497805930A5013106333 @default.
- W1497805930 hasAuthorship W1497805930A5050196522 @default.
- W1497805930 hasBestOaLocation W14978059301 @default.
- W1497805930 hasConcept C112505250 @default.
- W1497805930 hasConcept C11413529 @default.
- W1497805930 hasConcept C116248031 @default.
- W1497805930 hasConcept C118615104 @default.
- W1497805930 hasConcept C121332964 @default.
- W1497805930 hasConcept C136134351 @default.
- W1497805930 hasConcept C136643341 @default.
- W1497805930 hasConcept C167822520 @default.
- W1497805930 hasConcept C174327141 @default.
- W1497805930 hasConcept C180645754 @default.
- W1497805930 hasConcept C183992945 @default.
- W1497805930 hasConcept C33923547 @default.
- W1497805930 hasConcept C41008148 @default.
- W1497805930 hasConcept C55439883 @default.
- W1497805930 hasConcept C62520636 @default.
- W1497805930 hasConcept C65753522 @default.
- W1497805930 hasConcept C80444323 @default.
- W1497805930 hasConceptScore W1497805930C112505250 @default.
- W1497805930 hasConceptScore W1497805930C11413529 @default.
- W1497805930 hasConceptScore W1497805930C116248031 @default.
- W1497805930 hasConceptScore W1497805930C118615104 @default.
- W1497805930 hasConceptScore W1497805930C121332964 @default.
- W1497805930 hasConceptScore W1497805930C136134351 @default.
- W1497805930 hasConceptScore W1497805930C136643341 @default.
- W1497805930 hasConceptScore W1497805930C167822520 @default.
- W1497805930 hasConceptScore W1497805930C174327141 @default.
- W1497805930 hasConceptScore W1497805930C180645754 @default.
- W1497805930 hasConceptScore W1497805930C183992945 @default.
- W1497805930 hasConceptScore W1497805930C33923547 @default.
- W1497805930 hasConceptScore W1497805930C41008148 @default.
- W1497805930 hasConceptScore W1497805930C55439883 @default.
- W1497805930 hasConceptScore W1497805930C62520636 @default.
- W1497805930 hasConceptScore W1497805930C65753522 @default.
- W1497805930 hasConceptScore W1497805930C80444323 @default.
- W1497805930 hasLocation W14978059301 @default.
- W1497805930 hasLocation W14978059302 @default.
- W1497805930 hasOpenAccess W1497805930 @default.
- W1497805930 hasPrimaryLocation W14978059301 @default.
- W1497805930 hasRelatedWork W1490980615 @default.
- W1497805930 hasRelatedWork W1497805930 @default.
- W1497805930 hasRelatedWork W1518566078 @default.
- W1497805930 hasRelatedWork W1578004983 @default.
- W1497805930 hasRelatedWork W2050696740 @default.
- W1497805930 hasRelatedWork W2073586690 @default.
- W1497805930 hasRelatedWork W2105493333 @default.
- W1497805930 hasRelatedWork W2274428774 @default.
- W1497805930 hasRelatedWork W4212789420 @default.
- W1497805930 hasRelatedWork W4386081251 @default.
- W1497805930 isParatext "false" @default.
- W1497805930 isRetracted "false" @default.
- W1497805930 magId "1497805930" @default.
- W1497805930 workType "book-chapter" @default.