A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849): Difference between revisions

@@ Property / author @@
+Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISETL
@@ Property / describes a project that uses: ISETL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065051
@@ Property / cites work: Q4065051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692624
@@ Property / cites work: Q4692624 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993251
@@ Property / cites work: Q3993251 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a computation system based on set theory
@@ Property / cites work: Towards a computation system based on set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory in first-order logic: Clauses for Gödel's axioms
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae
+Normal rank
@@ Property / cites work @@
+The automation of syllogistic. I: Syllogistic normal forms
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993541
@@ Property / cites work: Q3993541 / rank @@
+Normal rank
@@ Property / cites work @@
+A Free Variable Version of the First-Order Predicate Calculus
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+{log}: A language for programming in logic with finite sets
+Normal rank
@@ Property / cites work @@
+The ∀<sub><i>n</i></sub>∃‐Completeness of Zermelo‐Fraenkel Set Theory
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563359
@@ Property / cites work: Q5563359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582304
@@ Property / cites work: Q5582304 / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160889
@@ Property / cites work: Q4160889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of ∀*∀‐Sentences in Membership Theories
+Normal rank
@@ Property / cites work @@
+Q3700872
@@ Property / cites work: Q3700872 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory
+Normal rank
@@ Property / cites work @@
+Expressing infinity without foundation
@@ Property / cites work: Expressing infinity without foundation / rank @@
+Normal rank
@@ Property / cites work @@
+A linear time solution to the single function coarsest partition problem
+Normal rank
@@ Property / cites work @@
+Q3741005
@@ Property / cites work: Q3741005 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(06)80009-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2010607908
@@ Property / OpenAlex ID: W2010607908 / rank @@
+Normal rank