PP867 | 1994 Paper in Conference Proceedings | Negere,S; Smaill,AD |
---|---|---|
Guiding Proof Search in Logical Frameworks with Rippling | ||
PP7 | 1991 Paper in Conference Proceedings | Basin,D; Howe,D |
Some Normalization Properties of Martin-Lof's Type Theory and Applications | ||
PP147 | 1992 Paper in Conference Proceedings | Horn,C; Smaill,AD |
Theorem Proving and Program Synthesis with OYSTER |