Facets of Synthesis: Revisiting Church’s Problem (Q3617717): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-00596-1_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1857043531
@@ Property / OpenAlex ID: W1857043531 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Q4910728
@@ Property / cites work: Q4910728 / rank @@
+Normal rank
@@ Property / cites work @@
+Banach-Mazur Games on Graphs
@@ Property / cites work: Banach-Mazur Games on Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Decidability and essential undecidability
@@ Property / cites work: Decidability and essential undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Refinements of Church’s Problem
@@ Property / cites work: Logical Refinements of Church’s Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Fine hierarchies and Boolean terms
@@ Property / cites work: Fine hierarchies and Boolean terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599512
@@ Property / cites work: Q4599512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214824
@@ Property / cites work: Q3214824 / rank @@
+Normal rank