An algebraic characterization of semantic independence (Q1183413): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+Semantic independence
@@ Property / cites work: Semantic independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination conventions and comparative semantics
@@ Property / cites work: Termination conventions and comparative semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras: Concept of points and representability
+Normal rank