Found 2 Documents (Results 1–2)
Mechanizable inductive proofs for a class of \(\forall \exists\) formulas. (English) Zbl 1434.03026
Bundy, Alan (ed.), Automated deduction – CADE-12. 12th international conference, Nancy, France, June 26 – July 1, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 814, 118-132 (1994).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Cabrera, Inma P. (1)
- Chazarain, Jacques (1)
- Cordero, Pablo (1)
- Gutiérrez, Gloria (1)
- Kounalis, Emmanuel (1)
- Martínez del Castillo, Javier (1)
- Ojeda-Aciego, Manuel (1)
Software
- CoCLAM (1)