On the toggling-branching recurrence of computability logic (Q2434574): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2047203570
@@ Property / OpenAlex ID: W2047203570 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1188
@@ Property / arXiv ID: 1207.1188 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+A PSPACE-complete first-order fragment of computability logic
+Normal rank
@@ Property / cites work @@
+Computability Logic: A Formal Theory of Interaction
+Normal rank
@@ Property / cites work @@
+In the beginning was game semantics
@@ Property / cites work: In the beginning was game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Many concepts and two logics of algorithmic reduction
+Normal rank
@@ Property / cites work @@
+Toggling operators in computability logic
@@ Property / cites work: Toggling operators in computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new face of the branching recurrence of computability logic
+Normal rank
@@ Property / cites work @@
+The taming of recurrences in computability logic through cirquent calculus. I
+Normal rank
@@ Property / cites work @@
+The taming of recurrences in computability logic through cirquent calculus. II
+Normal rank
@@ Property / cites work @@
+On abstract resource semantics and computability logic
+Normal rank
@@ Property / cites work @@
+The countable versus uncountable branching recurrences in computability logic
+Normal rank
@@ Property / cites work @@
+The parallel versus branching recurrences in computability logic
+Normal rank