dblp.uni-trier.dewww.uni-trier.de

Siani Baker Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Andrew Ireland [1]
2Alan Smaill [1] [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)