On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words (Q5025066): Difference between revisions

@@ Property / author @@
+Olivier Finkel
@@ Property / author: Olivier Finkel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+\(X\)-automata on \(\omega\)-words
@@ Property / cites work: \(X\)-automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+\(\omega\)-computations on Turing machines
@@ Property / cites work: \(\omega\)-computations on Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite behaviour of Petri nets
@@ Property / cites work: Infinite behaviour of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281565
@@ Property / cites work: Q4281565 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems forω-automata
@@ Property / cites work: Decision problems forω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+On ω-regular sets
@@ Property / cites work: On ω-regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular \(\omega\)-languages
@@ Property / cites work: Fine hierarchy of regular \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge reducibility and infinite computations
@@ Property / cites work: Wadge reducibility and infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchies and m-reducibilities in theoretical computer science
+Normal rank
@@ Property / cites work @@
+A hierarchy of deterministic context-free \(\omega\)-languages.
+Normal rank
@@ Property / cites work @@
+Computer science and the fine structure of Borel sets
+Normal rank
@@ Property / cites work @@
+Q4783319
@@ Property / cites work: Q4783319 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological properties of omega context-free languages
+Normal rank
@@ Property / cites work @@
+Borel ranks and Wadge degrees of context free $\omega$-languages
+Normal rank
@@ Property / cites work @@
+Wadge degrees of infinitary rational relations
@@ Property / cites work: Wadge degrees of infinitary rational relations / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge Degrees of<i>ω</i>-Languages of Deterministic Turing Machines
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Remarks on blind and partially blind one-way multicounter machines
+Normal rank
@@ Property / cites work @@
+Q3806830
@@ Property / cites work: Q3806830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982345
@@ Property / cites work: Q4982345 / rank @@
+Normal rank
@@ Property / cites work @@
+On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets
+Normal rank
@@ Property / cites work @@
+On the High Complexity of Petri Nets $$\omega $$-Languages
+Normal rank
@@ Property / cites work @@
+Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages
+Normal rank
@@ Property / cites work @@
+Ambiguity in omega context free languages
@@ Property / cites work: Ambiguity in omega context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Ambiguity of {\omega}-Languages of Turing Machines
+Normal rank
@@ Property / cites work @@
+Forms of Determinism for Automata (Invited Talk)
@@ Property / cites work: Forms of Determinism for Automata (Invited Talk) / rank @@
+Normal rank
@@ Property / cites work @@
+On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
+Normal rank
@@ Property / cites work @@
+The Containment Problem for Unambiguous Register Automata
+Normal rank
@@ Property / cites work @@
+Unambiguous Büchi automata.
@@ Property / cites work: Unambiguous Büchi automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Choice functions and well-orderings over the infinite binary tree
+Normal rank
@@ Property / cites work @@
+Topology and ambiguity in \(\omega\)-context free languages
+Normal rank
@@ Property / cites work @@
+On Recognizable Tree Languages Beyond the Borel Hierarchy
+Normal rank
@@ Property / cites work @@
+Q5875689
@@ Property / cites work: Q5875689 / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Π<sub>1</sub><sup>1</sup> Borel sets
@@ Property / cites work: Π<sub>1</sub><sup>1</sup> Borel sets / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel hierarchy and omega context free languages.
@@ Property / cites work: Borel hierarchy and omega context free languages. / rank @@
+Normal rank
@@ Property / cites work @@
+The Determinacy of Context-Free Games
@@ Property / cites work: The Determinacy of Context-Free Games / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795669
@@ Property / cites work: Q3795669 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Infinite Computations In Models of Set Theory
+Normal rank
@@ Property / cites work @@
+Highly Undecidable Problems For Infinite Computations
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Nondeterministic Ω-Computations and the Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+Q4636612
@@ Property / cites work: Q4636612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2909624
@@ Property / cites work: Q2909624 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchy of regular ω-languages
@@ Property / cites work: Fine hierarchy of regular ω-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418640
@@ Property / cites work: Q4418640 / rank @@
+Normal rank
@@ Property / cites work @@
+FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
@@ Property / cites work: FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES / rank @@
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy of omega context-free languages
@@ Property / cites work: Wadge hierarchy of omega context-free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Undecidable problems in unreliable computations.
@@ Property / cites work: Undecidable problems in unreliable computations. / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3179317887
@@ Property / OpenAlex ID: W3179317887 / rank @@
+Normal rank