P. Baracos

According to our database, P. Baracos authored at least 1 paper in 1989.

Collaborative distances:

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

1989

Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".

Louis J. Vroomen, Paul J. Zsombor-Murray, P. Baracos, Robert D. Hudson

IEEE Trans. Computers, 1989