BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Horacek:Helmut

Contributed to:

CADE 20022002
CADE 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.