Travelled to:1 × Australia
1 × Canada
Collaborated with:C.Weidenbach C.Benzmüller L.C.Paulson F.Theiss D.Dimova R.Kumar M.Suda P.Wischnewski
Talks about:version (1) theorem (1) classic (1) automat (1) prover (1) higher (1) cooper (1) split (1) spass (1) order (1)
Person: Arnaud Fietzke
DBLP: Fietzke:Arnaud
Contributed to:
2009
2008Wrote 3 papers:
- CADE-2009-WeidenbachDFKSW
- SPASS Version 3.5 (CW, DD, AF, RK, MS, PW), pp. 140–145.
- IJCAR-2008-BenzmullerPTF #automation #higher-order #logic #named #proving #theorem proving
- LEO-II — A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (CB, LCP, FT, AF), pp. 162–170.
- IJCAR-2008-FietzkeW
- Labelled Splitting (AF, CW), pp. 459–474.