A PSPACE-complete first-order fragment of computability logic (Q5410328): Difference between revisions

@@ Property / arXiv ID @@
+.4856
@@ Property / arXiv ID: 1201.4856 / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+From truth to computability. I.
@@ Property / cites work: From truth to computability. I. / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Cirquent Calculus and Abstract Resource Semantics
+Normal rank
@@ Property / cites work @@
+Propositional computability logic I
@@ Property / cites work: Propositional computability logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional computability logic II
@@ Property / cites work: Propositional computability logic II / rank @@
+Normal rank
@@ Property / cites work @@
+From truth to computability. II.
@@ Property / cites work: From truth to computability. II. / rank @@
+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 @@
+Introduction to clarithmetic. II
@@ Property / cites work: Introduction to clarithmetic. II / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to clarithmetic. III
@@ Property / cites work: Introduction to clarithmetic. III / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to clarithmetic. I
@@ Property / cites work: Introduction to clarithmetic. I / rank @@
+Normal rank
@@ Property / cites work @@
+First-order linear logic without modalities is NEXPTIME-hard
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and completeness of the Cirquent calculus system CL6 for computability logic
+Normal rank