# Hai-Ping Ko

According to our database

Collaborative distances:

^{1}, Hai-Ping Ko authored at least 11 papers between 1981 and 1996.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

1996

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1993

SIGMOD Rec., 1993

J. Log. Program., 1993

1992

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Substitution and Refutation Revisited.

Proceedings of the Logic Programming, 1991

1989

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle.

Artif. Intell., 1988

1986

On Mechanical Theorem Proving in Minkowskian Plane Geometry

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1982

Discret. Math., 1982

1981

J. Comb. Theory A, 1981

J. Comb. Theory A, 1981