Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888894103> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2888894103 abstract "This paper exhibits an example of a (mathbf {Sigma }^{1}_{1})-complete (omega )-language that can be recognised by a Buchi automaton with one partially blind counter (or equivalently a Buchi VASS with only one place). It follows as a corollary that there is no equivalent model of deterministic automata, even if we allow much richer data structures than just counters. The same holds for weaker forms of determinism, like for unambiguous or countably-unambiguous machines. This shows that even in the one counter case, non-determinism of Buchi VASS is inherent." @default.
- W2888894103 created "2018-09-07" @default.
- W2888894103 creator A5073562431 @default.
- W2888894103 date "2018-01-01" @default.
- W2888894103 modified "2023-09-27" @default.
- W2888894103 title "Büchi VASS Recognise $$mathbf {Sigma }^{1}_{1}$$-complete $${omega }$$-languages" @default.
- W2888894103 cites W150988440 @default.
- W2888894103 cites W1539382740 @default.
- W2888894103 cites W2001461320 @default.
- W2888894103 cites W2010137316 @default.
- W2888894103 cites W2037955016 @default.
- W2888894103 cites W2112562798 @default.
- W2888894103 cites W2478529717 @default.
- W2888894103 cites W2963717725 @default.
- W2888894103 doi "https://doi.org/10.1007/978-3-030-00250-3_10" @default.
- W2888894103 hasPublicationYear "2018" @default.
- W2888894103 type Work @default.
- W2888894103 sameAs 2888894103 @default.
- W2888894103 citedByCount "1" @default.
- W2888894103 countsByYear W28888941032020 @default.
- W2888894103 crossrefType "book-chapter" @default.
- W2888894103 hasAuthorship W2888894103A5073562431 @default.
- W2888894103 hasConcept C110729354 @default.
- W2888894103 hasConcept C112505250 @default.
- W2888894103 hasConcept C114614502 @default.
- W2888894103 hasConcept C118615104 @default.
- W2888894103 hasConcept C121332964 @default.
- W2888894103 hasConcept C165753454 @default.
- W2888894103 hasConcept C192183473 @default.
- W2888894103 hasConcept C194525867 @default.
- W2888894103 hasConcept C2778049214 @default.
- W2888894103 hasConcept C2779557605 @default.
- W2888894103 hasConcept C2780012671 @default.
- W2888894103 hasConcept C33923547 @default.
- W2888894103 hasConcept C41008148 @default.
- W2888894103 hasConcept C62520636 @default.
- W2888894103 hasConcept C80444323 @default.
- W2888894103 hasConceptScore W2888894103C110729354 @default.
- W2888894103 hasConceptScore W2888894103C112505250 @default.
- W2888894103 hasConceptScore W2888894103C114614502 @default.
- W2888894103 hasConceptScore W2888894103C118615104 @default.
- W2888894103 hasConceptScore W2888894103C121332964 @default.
- W2888894103 hasConceptScore W2888894103C165753454 @default.
- W2888894103 hasConceptScore W2888894103C192183473 @default.
- W2888894103 hasConceptScore W2888894103C194525867 @default.
- W2888894103 hasConceptScore W2888894103C2778049214 @default.
- W2888894103 hasConceptScore W2888894103C2779557605 @default.
- W2888894103 hasConceptScore W2888894103C2780012671 @default.
- W2888894103 hasConceptScore W2888894103C33923547 @default.
- W2888894103 hasConceptScore W2888894103C41008148 @default.
- W2888894103 hasConceptScore W2888894103C62520636 @default.
- W2888894103 hasConceptScore W2888894103C80444323 @default.
- W2888894103 hasLocation W28888941031 @default.
- W2888894103 hasOpenAccess W2888894103 @default.
- W2888894103 hasPrimaryLocation W28888941031 @default.
- W2888894103 hasRelatedWork W136524193 @default.
- W2888894103 hasRelatedWork W1485651606 @default.
- W2888894103 hasRelatedWork W1512592750 @default.
- W2888894103 hasRelatedWork W1513363691 @default.
- W2888894103 hasRelatedWork W1515863024 @default.
- W2888894103 hasRelatedWork W1562818191 @default.
- W2888894103 hasRelatedWork W2009929770 @default.
- W2888894103 hasRelatedWork W2028475750 @default.
- W2888894103 hasRelatedWork W2044854034 @default.
- W2888894103 hasRelatedWork W2078669675 @default.
- W2888894103 hasRelatedWork W2166452446 @default.
- W2888894103 hasRelatedWork W2284122584 @default.
- W2888894103 hasRelatedWork W2311802561 @default.
- W2888894103 hasRelatedWork W2724853801 @default.
- W2888894103 hasRelatedWork W2736060704 @default.
- W2888894103 hasRelatedWork W2767146052 @default.
- W2888894103 hasRelatedWork W2964321912 @default.
- W2888894103 hasRelatedWork W3004485666 @default.
- W2888894103 hasRelatedWork W3006504376 @default.
- W2888894103 hasRelatedWork W874706812 @default.
- W2888894103 isParatext "false" @default.
- W2888894103 isRetracted "false" @default.
- W2888894103 magId "2888894103" @default.
- W2888894103 workType "book-chapter" @default.