Domain semantics of possibility computations (Q1031684): Difference between revisions

@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895433
@@ Property / cites work: Q4895433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4504068
@@ Property / cites work: Q4504068 / rank @@
+Normal rank
@@ Property / cites work @@
+Additive fuzzy measures and integrals. I
@@ Property / cites work: Additive fuzzy measures and integrals. I / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to stable domains
@@ Property / cites work: A logical approach to stable domains / rank @@
+Normal rank
@@ Property / cites work @@
+Maximality and totality of stable functions in the category of stable bifinite domains
+Normal rank
@@ Property / cites work @@
+Stone duality and representation of stable domain
@@ Property / cites work: Stone duality and representation of stable domain / rank @@
+Normal rank
@@ Property / cites work @@
+On compactness of induced \(I(L)\)-fuzzy topological spaces
+Normal rank
@@ Property / cites work @@
+Paracompactness on \(L\)-fuzzy topological spaces
@@ Property / cites work: Paracompactness on \(L\)-fuzzy topological spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382654
@@ Property / cites work: Q4382654 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Kleisli morphisms and randomized congruences for the Giry monad
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039980
@@ Property / cites work: Q4039980 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic models for the guarded command language
+Normal rank
@@ Property / cites work @@
+Quantitative semantics, topology, and possibility measures
+Normal rank
@@ Property / cites work @@
+Q4222891
@@ Property / cites work: Q4222891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Every Standard Construction is Induced by a Pair of Adjoint Functors
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sugeno integral as an aggregation function
@@ Property / cites work: On Sugeno integral as an aggregation function / rank @@
+Normal rank
@@ Property / cites work @@
+\(k\)-intolerant capacities and Choquet integrals
@@ Property / cites work: \(k\)-intolerant capacities and Choquet integrals / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy measures and integrals
@@ Property / cites work: Fuzzy measures and integrals / 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 @@
+Fuzzy measures and integrals in evaluation of strategies
+Normal rank
@@ Property / cites work @@
+On the normalization of subnormal possibility distributions: New investigations
+Normal rank
@@ Property / cites work @@
+Unified full implication algorithms of fuzzy reasoning
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749207
@@ Property / cites work: Q4749207 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO's of measures for nondeterminism
@@ Property / cites work: CPO's of measures for nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracted: Semantic domains for combining probability and non-determinism
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank
@@ Property / cites work @@
+On the logic foundation of fuzzy reasoning
@@ Property / cites work: On the logic foundation of fuzzy reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized theory of general fuzzy reasoning.
@@ Property / cites work: Formalized theory of general fuzzy reasoning. / rank @@
+Normal rank
@@ Property / cites work @@
+A modification of the certainty measure to handle subnormal distributions
+Normal rank
@@ Property / cites work @@
+Reasoning about probabilistic sequential programs in a probabilistic logic
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Probability measures of fuzzy events
@@ Property / cites work: Probability measures of fuzzy events / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets as a basis for a theory of possibility
@@ Property / cites work: Fuzzy sets as a basis for a theory of possibility / rank @@
+Normal rank