Many concepts and two logics of algorithmic reduction (Q1005975): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-009-9164-7
@@ Property / DOI: 10.1007/s11225-009-9164-7 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1794149593
@@ Property / OpenAlex ID: W1794149593 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0103
@@ Property / arXiv ID: 0706.0103 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Degrees of indeterminacy of games
@@ Property / cites work: Degrees of indeterminacy of games / 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 @@
+Q4453637
@@ Property / cites work: Q4453637 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / 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 @@
+Computability Logic: A Formal Theory of Interaction
+Normal rank
@@ Property / cites work @@
+The logic of interactive turing reduction
@@ Property / cites work: The logic of interactive turing reduction / 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 @@
+Intuitionistic computability logic
@@ Property / cites work: Intuitionistic computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+The intuitionistic fragment of computability logic at the propositional level
+Normal rank
@@ Property / cites work @@
+Cirquent Calculus Deepened
@@ Property / cites work: Cirquent Calculus Deepened / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential operators in computability logic
@@ Property / cites work: Sequential operators in computability logic / 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 @@
+Towards applied theories based on computability logic
+Normal rank
@@ Property / DOI @@
+.1007/S11225-009-9164-7
@@ Property / DOI: 10.1007/S11225-009-9164-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1005975