Travelled to:1 × Australia
1 × Denmark
1 × France
1 × United Kingdom
3 × USA
Collaborated with:K.Bläsius ∅ P.Szabó M.Kohlhase E.Melis X.Huang M.Kerber D.Nesmith J.Richts D.Hutter B.Langenstein C.Sengler W.Stephan A.Wolpers C.Benzmüller L.Cheikhrouhou A.Fiedler A.Meier V.Sorge D.Fehrer K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann M.Pollet C.Ullrich C.Wirth J.Zimmer
Talks about:omega (3) unif (3) univers (2) environ (2) develop (2) deduct (2) proof (2) equat (2) mathemat (1) toolkit (1)
Person: Jörg H. Siekmann
DBLP: Siekmann:J=ouml=rg_H=
Facilitated 1 volumes:
EdContributed to:
20021997
19961994198819841982Wrote 8 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-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
- FME-1996-HutterLSSSW #deduction #verification
- Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.
- CADE-1994-HuangKKMNRS #development #named #proving
- Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
- CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support
- KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.
- CADE-1988-BlasiusS #equation #graph #reasoning #unification
- Partial Unification for Graph Based Equational Reasoning (KHB, JHS), pp. 397–414.
- CADE-1984-Siekmann #unification
- Universal Unification (JHS), pp. 1–42.
- CADE-1982-SiekmannS #classification #equation #unification
- Universal Unification and a Classification of Equational Theories (JHS, PS), pp. 369–389.