Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: matelogical inference
PP117
1992 Paper in Conference Proceedings
Basin,D
;
Smaill,AD
; Matthews,S
Experience with FSo as a Framework Theory
![[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}