Travelled to:
1 × France
1 × USA
Collaborated with:
M.E.Nadel S.Chou
Talks about:
minkowskian (1) substitut (1) geometri (1) theorem (1) revisit (1) mechan (1) refut (1) prove (1) plane (1)
Person: Hai-Ping Ko
DBLP: Ko:Hai=Ping
Contributed to:
Wrote 2 papers:
- ICLP-1991-KoN #revisited
- Substitution and Refutation Revisited (HPK, MEN), pp. 679–692.
- LICS-1986-ChouK #geometry #on the #proving #theorem proving
- On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.