Abstract Reduction Using a Tableau Calculus
No abstract available.
Related papers
- Tableau Recycling CAV 1992
- Optimal Tableau Algorithms for Coalgebraic Logics TACAS 2010
- Efficient Model Checking Via Büchi Tableau Automata CAV 2001
- A Tableau System for Linear-TIME Temporal Logic TACAS 1997
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic CAV 2003
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021
- Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning ICFP 2019
- Refining Reduction in the Lambda Calculus JFP 1995