The algebra of functions with antidomain and range (Q908324): Difference between revisions

@@ Property / OpenAlex ID @@
+W2963175118
@@ Property / OpenAlex ID: W2963175118 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3981
@@ Property / arXiv ID: 1410.3981 / rank @@
+Normal rank
@@ Property / cites work @@
+γ-demi-groupes, demi-modules, produits demi-directs
+Normal rank
@@ Property / cites work @@
+The axiomatization of override and update
@@ Property / cites work: The axiomatization of override and update / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2919772
@@ Property / cites work: Q2919772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2919773
@@ Property / cites work: Q2919773 / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Boolean and classical restriction categories
@@ Property / cites work: Boolean and classical restriction categories / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Domain and Antidomain Semigroups
@@ Property / cites work: Domain and Antidomain Semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL MENGER   -ALGEBRAS
@@ Property / cites work: FUNCTIONAL MENGER -ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+A Munn type representation for a class of \(E\)-semiadequate semigroups
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured program equivalence is highly undecidable
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Representability is not decidable for finite relation algebras
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of representability as binary relations
+Normal rank
@@ Property / cites work @@
+An equational axiomatization of dynamic negation and relational composition
+Normal rank
@@ Property / cites work @@
+Q5393094
@@ Property / cites work: Q5393094 / rank @@
+Normal rank
@@ Property / cites work @@
+An invitation to \(C\)-semigroups
@@ Property / cites work: An invitation to \(C\)-semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Agreeable semigroups.
@@ Property / cites work: Agreeable semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
@@ Property / cites work: IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Maps with Domain and Range: Extending Schein's Representation
+Normal rank
@@ Property / cites work @@
+SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
+Normal rank
@@ Property / cites work @@
+MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
+Normal rank
@@ Property / cites work @@
+On representing semigroups with subsemilattices.
@@ Property / cites work: On representing semigroups with subsemilattices. / rank @@
+Normal rank
@@ Property / cites work @@
+FREE ADEQUATE SEMIGROUPS
@@ Property / cites work: FREE ADEQUATE SEMIGROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for free adequate semigroups
@@ Property / cites work: The word problem for free adequate semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras
@@ Property / cites work: Relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded and banded semigroups.
@@ Property / cites work: Guarded and banded semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259760
@@ Property / cites work: Q3259760 / rank @@
+Normal rank
@@ Property / cites work @@
+On representable relation algebras
@@ Property / cites work: On representable relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
+Normal rank
@@ Property / cites work @@
+Q5597568
@@ Property / cites work: Q5597568 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and function semigroups
@@ Property / cites work: Relation algebras and function semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on semigroups of transformations
@@ Property / cites work: Lectures on semigroups of transformations / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of functions
@@ Property / cites work: The algebra of functions / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of functions. II
@@ Property / cites work: The algebra of functions. II / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of functions. III
@@ Property / cites work: The algebra of functions. III / rank @@
+Normal rank
@@ Property / cites work @@
+Function systems
@@ Property / cites work: Function systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5182409
@@ Property / cites work: Q5182409 / rank @@
+Normal rank