Q5227517 (Q5227517): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda terms for natural deduction,  sequent calculus and cut elimination
+Normal rank
@@ Property / cites work @@
+Algebras and combinators
@@ Property / cites work: Algebras and combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4601857
@@ Property / cites work: Q4601857 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
+Normal rank
@@ Property / cites work @@
+Q5430147
@@ Property / cites work: Q5430147 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Twenty-Fourth Problem
@@ Property / cites work: Hilbert's Twenty-Fourth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Games on Extended Vector Addition Systems with States
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Synchronizing Words for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Limit Synchronization in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).
+Normal rank
@@ Property / cites work @@
+Verification of population protocols
@@ Property / cites work: Verification of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Parameterised Model Checking for Alternating-Time Temporal Logic.
+Normal rank
@@ Property / cites work @@
+Computational complexity of certain problems related to carefully synchronizing words for partial automata and directing words for nondeterministic automata
+Normal rank
@@ Property / cites work @@
+Synchronizing Automata and the Černý Conjecture
@@ Property / cites work: Synchronizing Automata and the Černý Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank