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

@@ 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