Implicit proofs (Q5311729): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1082418532
+Normal rank
@@ Property / OpenAlex ID @@
+W4239243811
@@ Property / OpenAlex ID: W4239243811 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiation and second-order bounded arithmetic
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculi and fragments of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5311729