Mutually complementary formalizations of deductive query languages (Q1895016): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal local classes of partial functions of infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Q4007503
@@ Property / cites work: Q4007503 / rank @@
+Normal rank
@@ Property / cites work @@
+Une généralisation de la notion de corps
@@ Property / cites work: Une généralisation de la notion de corps / rank @@
+Normal rank
@@ Property / cites work @@
+The Galois connection between partial operations and relations
+Normal rank
@@ Property / cites work @@
+The algebras of partial functions and their invariants
+Normal rank
@@ Property / cites work @@
+Universal algebras with all operations of bounded range
+Normal rank
@@ Property / cites work @@
+Q3204521
@@ Property / cites work: Q3204521 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of not everywhere defined functions of many-valued logic
+Normal rank