Siani Baker (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3		Siani Baker, Alan Smaill: A Proof Environment for Arithmetic with the Omega Rule. AISMC 1994: 115-130
1		Siani Baker, Andrew Ireland, Alan Smaill: On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225

Selection of 2 from 3 records - Siani Baker has 2 coauthors