Siani Baker

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Siani Baker
A New Application for Explanation-Based Generalisation within Automated Deduction. CADE (1994)
Siani Baker, Alan Smaill
A Proof Environment for Arithmetic with the Omega Rule. AISMC (1994)
Siani Baker, Andrew Ireland, Alan Smaill
On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR (1992)