Linear Logic Proof Games and Optimization (Q5689264): Difference between revisions

@@ Property / author @@
-Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
-Normal rank
@@ Property / author @@
-Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
-Normal rank
@@ Property / author @@
+Patrick D. Lincoln
@@ Property / author: Patrick D. Lincoln / rank @@
+Normal rank
@@ Property / author @@
+Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2146375788
@@ Property / OpenAlex ID: W2146375788 / 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 @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+Normal rank
@@ Property / cites work @@
+IP = PSPACE
@@ Property / cites work: IP = PSPACE / rank @@
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methods for interactive proof systems
@@ Property / cites work: Algebraic methods for interactive proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5689264