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. | ||
Journal Paper | ||
| JP916 | 1995 Journal Paper | Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D |
|---|---|---|
| The Application of Logic Programming to Decision Support Systems in Ecology | ||
| JP752 | 1994 Journal Paper | Robertson,DS; Agusti,J; Hesketh,J; Levy,J |
| Expressing Program Requirements Using Refinement Lattices | ||
Paper in Conference Proceedings | ||
| PP751 | 1994 Paper in Conference Proceedings | Robertson,DS; Park,N; Agusti,J |
| Layered Design of KBS from Specification to Hardware | ||
Research Paper | ||
| RP730 | 1995 Research Paper | Robertson,DS; Park,N; Agusti,J |
| Layered Design of Kbs from Specification to Hardware | ||
| RP593 | 1992 Research Paper | Levy,J; Agusti,J; Mana,F |
| Functional Lattices for Taxonomical Reasoning | ||
| RP594 | 1992 Research Paper | Agusti,J; Esteva,F; Garcia,P; Levy,J |
| A Calculus of Refinements: Its Class of Models | ||
![[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}