Similar Items: Relative Entailment Among Probabilistic Implications
- Decidability for Entailments of Symbolic Heaps with Arrays
- Validity and Entailment in Modal and Propositional Dependence Logics
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Probabilistic Algorithmic Knowledge
- Infinite Probabilistic Databases
- Probabilistic call by push value