Author:
Allali Lisa,Hermant Olivier
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Boespflug, M., Carbonneaux, Q., Hermant, O.: The λΠ-Calculus Modulo as a Universal Proof Language. In: Proof Exchange for Theorem Proving (PxTP), Manchester, UK, pp. 28–43 (June 2012)
2. Lecture Notes in Artificial Intelligence;R. Bonichon,2004
3. Lecture Notes in Artificial Intelligence;R. Bonichon,2006
4. Brunel, A., Hermant, O., Houtmann, C.: Orthogonality and boolean algebras for deduction modulo. In: Ong, L. (ed.) TLCA 2011. LNCS, vol. 6690, pp. 76–90. Springer, Heidelberg (2011)
5. Lecture Notes in Computer Science;G. Burel,2010