How Hard Is Positive Quantification? (Q5278190): Difference between revisions

@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ 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.1145/2981544
@@ Property / full work available at URL: https://doi.org/10.1145/2981544 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2547321601
@@ Property / OpenAlex ID: W2547321601 / rank @@
+Normal rank
@@ Property / cites work @@
+Translations on a context free grammar
@@ Property / cites work: Translations on a context free grammar / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Agda – A Functional Language with Dependent Types
+Normal rank
@@ Property / cites work @@
+Eigenvariables, bracketing and the decidability of positive minimal predicate logic
+Normal rank
@@ Property / cites work @@
+The Four Colour Theorem: Engineering of a Formal Proof
+Normal rank
@@ Property / cites work @@
+Advances in the Formalization of the Odd Order Theorem
+Normal rank
@@ Property / cites work @@
+Theory of computation.
@@ Property / cites work: Theory of computation. / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive characterizations of computational complexity
+Normal rank
@@ Property / cites work @@
+Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+On the Mints Hierarchy in First-Order Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Search and Counter Model of Positive Minimal Predicate Logic
+Normal rank