Division of Informatics
Forrest Hill & 80 South Bridge
|
Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
Discussion Paper | ||
| DP102 | 1991 Discussion Paper | Baker,S |
|---|---|---|
| Notes on the Constructive Omega-Rule and a New Method of Generalisation | ||
Paper in Conference Proceedings | ||
| PP113 | 1992 Paper in Conference Proceedings | Baker,S; Ireland,A; Smaill,AD |
| On the Use of the Constructive Omega-Rule within Automated Deduction | ||
PhD Thesis | ||
| PT9207 | 1992 PhD Thesis | Baker,S |
| Aspects of the Constructive Omega Rule Within Automated Deduction | ||
Research Paper | ||
| RP645 | 1993 Research Paper | Baker,S; Smaill,AD |
| A Proof Environment for Arithmetic with the Omega Rule | ||
| RP560 | 1991 Research Paper | Baker,S; Ireland,A; Smaill,AD |
| On the Use of the Constructive Omega-Rule Within Automated Deduction | ||
Technical Paper | ||
| TP10 | 1992 Technical Paper | Baker,S |
| Core Manual | ||
Working Paper | ||
| WP231 | 1990 Working Paper | Baker,S |
| Notes on the Implementation of the Cut Elimination Theorem | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}