Similar Items: Abstract Completion, Formalized
- Formalization of Abstract State Transition Systems for SAT
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Formal Languages, Formally and Coinductively
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- Abstract Model Repair
- Games for Bisimulations and Abstraction