The automation of syllogistic. II: Optimization and complexity issues (Q1813824): Difference between revisions

@@ Property / cites work @@
+Q3948568
@@ Property / cites work: Q3948568 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
+Normal rank
@@ Property / cites work @@
+The automation of syllogistic. I: Syllogistic normal forms
+Normal rank
@@ Property / cites work @@
+Q3748267
@@ Property / cites work: Q3748267 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
+Normal rank
@@ Property / cites work @@
+The Logically Simplest Form of the Infinity Axiom
@@ Property / cites work: The Logically Simplest Form of the Infinity Axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
+Normal rank