Travelled to:1 × France
1 × Italy
Collaborated with:S.Kepser X.Huang M.Kerber M.Kohlhase E.Melis D.Nesmith J.H.Siekmann
Talks about:algorithm (1) toolkit (1) environ (1) develop (1) unimok (1) system (1) deduct (1) combin (1) proof (1) omega (1)
Person: Jörn Richts
DBLP: Richts:J=ouml=rn
Contributed to:
1999
1994Wrote 3 papers:
- RTA-1999-KepserR #algorithm #equation #named #unification
- UNIMOK: A System for Combining Equational Unification Algorithm (SK, JR), pp. 248–251.
- 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.