Similar Items: Integrity Constraints Revisited: From Exact to Approximate Implication
- Exact and Approximate Determinization of Discounted-Sum Automata
- Exact and Approximate Algorithms for Polytree Learning
- Exact Unification and Admissibility
- Logic for exact real arithmetic
- From coinductive proofs to exact real arithmetic: theory and applications
- Coinductive Formal Reasoning in Exact Real Arithmetic