E. R. Harley

According to our database, E. R. Harley authored at least 1 paper in 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1993

Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics.

E. R. Harley, Zbigniew Stachniak

Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993