Division of Informatics
Forrest Hill & 80 South Bridge
| PP377 | 1989 Paper in Conference Proceedings | Giunchiglia,F; Walsh,T |
|---|---|---|
| Theorem Proving with Definitions | ||
| PP376 | 1989 Paper in Conference Proceedings | Giunchiglia,F; Walsh,T |
| Abstract Theorem Proving | ||
| PP504 | 1990 Paper in Conference Proceedings | Guinchiglia,F; Walsh,T |
| the Use of Abstraction in Automatic Inference | ||
| JP142 | 1993 Journal Paper | Giunchiglia,F; Walsh,T |
| the Inevitability of Inconsistent Abstract Spaces | ||
| PP188 | 1992 Paper in Conference Proceedings | Walsh,T; Giunchiglia,F |
| Theories of Abstraction: a Historical Perspective | ||
| PP143 | 1992 Paper in Conference Proceedings | Giunchiglia,G; Walsh,T |
| Tree Subsumption: Reasoning with Outlines | ||
![[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}