Travelled to:1 × Denmark
1 × Italy
Collaborated with:∅ J.H.Siekmann C.Benzmüller V.Brezhnev L.Cheikhrouhou A.Fiedler A.Franke M.Kohlhase A.Meier E.Melis M.Moschner I.Normann M.Pollet V.Sorge C.Ullrich C.Wirth J.Zimmer
Talks about:proof (2) present (1) develop (1) orient (1) omega (1) human (1) way (1)
Person: Helmut Horacek
DBLP: Horacek:Helmut
Contributed to:
20021999Wrote 2 papers:
- CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
- Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
- CADE-1999-Horacek #proving
- Presenting Proofs in a Human-Oriented Way (HH), pp. 142–156.