Similar Items: Forward Analysis for WSTS, Part II: Complete WSTS
- Forward Analysis for WSTS, Part III: Karp-Miller Trees
- Complete Call-by-Value Calculi of Control Operators II: Strong Termination
- An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
- Feature Reinforcement Learning: Part II. Structured MDPs
- DRM Revisited: A Complete Error Analysis
- Adaptive Forward Stepwise: A Method for High Sparsity Regression