Lifting Definition Option
From MaRDI portal
- Automating theorem proving with SMT
- Certification of Termination Proofs Using CeTA
- Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings
- Code generation via higher-order rewrite systems
- Data refinement in Isabelle/HOL
- Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19--21, 2010. Proceedings
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Partial and nested recursive function definitions in higher-order logic
- Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
This page was built for software: Lifting Definition Option
