Similar Items: About the range property for H
- Range (Rényi) Entropy Queries and Partitioning
- Reasoning about Strategies: on the Satisfiability Problem
- On the characterization of models of H*: The semantical aspect
- On Berry's conjectures about the stable order in PCF
- Reasoning about Data Repetitions with Counter Systems
- Reasoning About Bounds in Weighted Transition Systems