Partiality. I: Embedding relation algebras (Q817586): Difference between revisions

@@ Property / cites work @@
+Symmetric quotients and domain constructions
@@ Property / cites work: Symmetric quotients and domain constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. I: Flow equivalence and correctness
+Normal rank
@@ Property / cites work @@
+Programs as partial graphs. II: Recursion
@@ Property / cites work: Programs as partial graphs. II: Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras: Concept of points and representability
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540523
@@ Property / cites work: Q4540523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415082
@@ Property / cites work: Q4415082 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation theory of Goguen categories.
@@ Property / cites work: Representation theory of Goguen categories. / rank @@
+Normal rank