Siani Baker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1992–1994
Best venue rank
Australasian
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | AISC | A Proof Environment for Arithmetic with the Omega Rule. | Siani Baker, Alan Smaill |
| 1994 | CADE | A New Application for Explanation-Based Generalisation within Automated Deduction. | Siani Baker |
| 1992 | LPAR | On the Use of the Constructive Omega-Rule within Automated Deduction. | Siani Baker, Andrew Ireland, Alan Smaill |