Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983662674> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1983662674 endingPage "945" @default.
- W1983662674 startingPage "941" @default.
- W1983662674 abstract "Determinization and complementation are two fundamental problems in automata theory. Very recently, Piterman improved Safra's determinization and, presented a new construction which produces parity automata with a smaller size. We give a tighter analysis on that determinization construction and show that the number of states of the resulting deterministic automaton is bounded by 2n(n!)^2 instead of 2n!n^n." @default.
- W1983662674 created "2016-06-24" @default.
- W1983662674 creator A5046184004 @default.
- W1983662674 creator A5082329778 @default.
- W1983662674 date "2009-07-01" @default.
- W1983662674 modified "2023-10-14" @default.
- W1983662674 title "A tighter analysis of Piterman's Büchi determinization" @default.
- W1983662674 cites W1528149868 @default.
- W1983662674 cites W1548816955 @default.
- W1983662674 cites W1759205474 @default.
- W1983662674 cites W2031592188 @default.
- W1983662674 cites W2044310724 @default.
- W1983662674 cites W2094912129 @default.
- W1983662674 cites W2124285023 @default.
- W1983662674 cites W2138467892 @default.
- W1983662674 cites W2952908521 @default.
- W1983662674 cites W3104076899 @default.
- W1983662674 doi "https://doi.org/10.1016/j.ipl.2009.04.022" @default.
- W1983662674 hasPublicationYear "2009" @default.
- W1983662674 type Work @default.
- W1983662674 sameAs 1983662674 @default.
- W1983662674 citedByCount "12" @default.
- W1983662674 countsByYear W19836626742012 @default.
- W1983662674 countsByYear W19836626742013 @default.
- W1983662674 countsByYear W19836626742014 @default.
- W1983662674 countsByYear W19836626742015 @default.
- W1983662674 countsByYear W19836626742016 @default.
- W1983662674 countsByYear W19836626742018 @default.
- W1983662674 countsByYear W19836626742019 @default.
- W1983662674 countsByYear W19836626742022 @default.
- W1983662674 crossrefType "journal-article" @default.
- W1983662674 hasAuthorship W1983662674A5046184004 @default.
- W1983662674 hasAuthorship W1983662674A5082329778 @default.
- W1983662674 hasConcept C112505250 @default.
- W1983662674 hasConcept C11413529 @default.
- W1983662674 hasConcept C118615104 @default.
- W1983662674 hasConcept C134306372 @default.
- W1983662674 hasConcept C194525867 @default.
- W1983662674 hasConcept C33923547 @default.
- W1983662674 hasConcept C34388435 @default.
- W1983662674 hasConcept C41008148 @default.
- W1983662674 hasConcept C80444323 @default.
- W1983662674 hasConceptScore W1983662674C112505250 @default.
- W1983662674 hasConceptScore W1983662674C11413529 @default.
- W1983662674 hasConceptScore W1983662674C118615104 @default.
- W1983662674 hasConceptScore W1983662674C134306372 @default.
- W1983662674 hasConceptScore W1983662674C194525867 @default.
- W1983662674 hasConceptScore W1983662674C33923547 @default.
- W1983662674 hasConceptScore W1983662674C34388435 @default.
- W1983662674 hasConceptScore W1983662674C41008148 @default.
- W1983662674 hasConceptScore W1983662674C80444323 @default.
- W1983662674 hasIssue "16" @default.
- W1983662674 hasLocation W19836626741 @default.
- W1983662674 hasOpenAccess W1983662674 @default.
- W1983662674 hasPrimaryLocation W19836626741 @default.
- W1983662674 hasRelatedWork W138580033 @default.
- W1983662674 hasRelatedWork W1746593892 @default.
- W1983662674 hasRelatedWork W1964178654 @default.
- W1983662674 hasRelatedWork W1965735436 @default.
- W1983662674 hasRelatedWork W1967415065 @default.
- W1983662674 hasRelatedWork W1989746243 @default.
- W1983662674 hasRelatedWork W2022172691 @default.
- W1983662674 hasRelatedWork W2406644087 @default.
- W1983662674 hasRelatedWork W3140454877 @default.
- W1983662674 hasRelatedWork W3023170743 @default.
- W1983662674 hasVolume "109" @default.
- W1983662674 isParatext "false" @default.
- W1983662674 isRetracted "false" @default.
- W1983662674 magId "1983662674" @default.
- W1983662674 workType "article" @default.