Taut Monads, Dynamic Logic and Determinism (Q5262941): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.02.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2022787866
@@ Property / OpenAlex ID: W2022787866 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / 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 @@
+Filter Monads, Continuous Lattices and Closure Systems
+Normal rank
@@ Property / cites work @@
+Q3897035
@@ Property / cites work: Q3897035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of fuzzy theories
@@ Property / cites work: A class of fuzzy theories / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Transformer Semantics
@@ Property / cites work: Predicate Transformer Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing collection classes with monads
@@ Property / cites work: Implementing collection classes with monads / rank @@
+Normal rank
@@ Property / cites work @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4668854
@@ Property / cites work: Q4668854 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean restriction categories and taut monads
@@ Property / cites work: Boolean restriction categories and taut monads / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912632
@@ Property / cites work: Q3912632 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126266007
@@ Property / Wikidata QID: Q126266007 / rank @@
+Normal rank