Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2007.10.008
@@ Property / DOI: 10.1016/j.jlap.2007.10.008 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2007.10.008
+Normal rank
@@ Property / OpenAlex ID @@
+W1975831115
@@ Property / OpenAlex ID: W1975831115 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Demonic operators and monotype factors
@@ Property / cites work: Demonic operators and monotype factors / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723894
@@ Property / cites work: Q2723894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362877
@@ Property / cites work: Q4362877 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic semigroups and categories.
@@ Property / cites work: Automatic semigroups and categories. / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Relations binaires, fermetures, correspondances de Galois
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500849
@@ Property / cites work: Q4500849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934627
@@ Property / cites work: Q4934627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995087
@@ Property / cites work: Q3995087 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories as algebra: An essential ingredient in the theory of monoids
+Normal rank
@@ Property / cites work @@
+PROFINITE METHODS IN SEMIGROUP THEORY
@@ Property / cites work: PROFINITE METHODS IN SEMIGROUP THEORY / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2007.10.008
@@ Property / DOI: 10.1016/J.JLAP.2007.10.008 / rank @@
+Normal rank