Siani Baker

According to our database, Siani Baker authored at least 3 papers between 1992 and 1994.

Collaborative distances:

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

1994

A New Application for Explanation-Based Generalisation within Automated Deduction.

Siani Baker

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

A Proof Environment for Arithmetic with the Omega Rule.

Siani Baker, Alan Smaill

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1992

On the Use of the Constructive Omega-Rule within Automated Deduction.

Siani Baker, Andrew Ireland, Alan Smaill

Proceedings of the Logic Programming and Automated Reasoning, 1992