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

@@ Property / author @@
+Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
+Normal rank
@@ Property / author @@
+Alberto Policriti
@@ Property / author: Alberto Policriti / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00245817
+Normal rank
@@ Property / OpenAlex ID @@
+W2025586204
@@ Property / OpenAlex ID: W2025586204 / rank @@
+Normal rank