Colin Farquhar

According to our database, Colin Farquhar authored at least 3 papers between 1992 and 2015.

Collaborative distances:

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

2015

Typed meta-interpretive learning for proof strategies.

Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

1992

Measuring Frameworks.

Michael Rumsey, Neil Crofts, Bob Luckin, Colin Farquhar

Proceedings of the Electronic Design Automation Frameworks: When will the promise be realized? Proceedings of the Third IFIP WG10.2/WG10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6 Bad Lippspringe, 1992

Unifying tool, data and process flow management.

Michael Rumsey, Colin Farquhar

Proceedings of the conference on European design automation, 1992