Similar Items: Footprints in Local Reasoning
- Logical Reasoning for Higher-Order Functions with Local State
- Efficient Open World Reasoning for Planning
- Reasoning about Strategies: on the Satisfiability Problem
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- Approximate reasoning for real-time probabilistic processes
- Coinductive Formal Reasoning in Exact Real Arithmetic