On difunctions (Q6113019): Difference between revisions

@@ Property / cites work @@
+Regular algebra applied to language problems
@@ Property / cites work: Regular algebra applied to language problems / rank @@
+Normal rank
@@ Property / cites work @@
+Components and acyclicity of graphs. An exercise in combining precision with concision
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Final Dialgebras: From Categories to Allegories
@@ Property / cites work: Final Dialgebras: From Categories to Allegories / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating Invariants as Coreflexive Bisimulations
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Some beautiful arguments using mathematical induction
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Simulations and Congruences
@@ Property / cites work: Coalgebraic Simulations and Congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Regularity of relations: A measure of uniformity
@@ Property / cites work: Regularity of relations: A measure of uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Using difunctional relations in information organization
+Normal rank
@@ Property / cites work @@
+Programming from metaphorisms
@@ Property / cites work: Programming from metaphorisms / rank @@
+Normal rank
@@ Property / cites work @@
+Relations binaires, fermetures, correspondances de Galois
+Normal rank
@@ Property / cites work @@
+Q5796583
@@ Property / cites work: Q5796583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804173
@@ Property / cites work: Q5804173 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4947593
@@ Property / cites work: Q4947593 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank