Multi-valued logic and Gröbner bases with applications to modal logic (Q804567): Difference between revisions

@@ Property / cites work @@
+Q4133082
@@ Property / cites work: Q4133082 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
+Normal rank
@@ Property / cites work @@
+Q3208084
@@ Property / cites work: Q3208084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+VDM: Axiomatising its Propositional Logic
@@ Property / cites work: VDM: Axiomatising its Propositional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674088
@@ Property / cites work: Q3674088 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Only prime superpositions need be considered in the Knuth-Bendix completion procedure
+Normal rank
@@ Property / cites work @@
+Q3997000
@@ Property / cites work: Q3997000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661846
@@ Property / cites work: Q5661846 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745825
@@ Property / cites work: Q3745825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4149741
@@ Property / cites work: Q4149741 / rank @@
+Normal rank