Siani Baker

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1994

3 Siani Baker, Alan Smaill: A Proof Environment for Arithmetic with the Omega Rule. AISMC 1994: 115-130

2 Siani Baker: A New Application for Explanation-Based Generalisation within Automated Deduction. CADE 1994: 177-191

1992

1 Siani Baker, Andrew Ireland, Alan Smaill: On the Use of the Constructive Omega-Rule within Automated Deduction. LPAR 1992: 214-225

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

Coauthor Index

1 Andrew Ireland [1]

2 Alan Smaill [1] [3]