Frege proof system and TNC° (Q4212930): 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.2307/2586859
@@ Property / full work available at URL: https://doi.org/10.2307/2586859 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2575470425
@@ Property / OpenAlex ID: W2575470425 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional proof systems, the consistency of first order theories and the complexity of computations
+Normal rank
@@ Property / cites work @@
+RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)
+Normal rank
@@ Property / cites work @@
+\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
@@ Property / cites work: \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) / rank @@
+Normal rank
@@ Property / cites work @@
+ALOGTIME and a conjecture of S. A. Cook
@@ Property / cites work: ALOGTIME and a conjecture of S. A. Cook / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Parallel Algorithm for Formula Evaluation
+Normal rank
@@ Property / cites work @@
+Propositional consistency proofs
@@ Property / cites work: Propositional consistency proofs / rank @@
+Normal rank