dblp.uni-trier.dewww.uni-trier.de

Simon Finn Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
5 Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997)
1994
4EENick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143
1993
3EEGerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes: Formal Methods and Their Future. EUROCAST 1993: 180-189
1992
2 Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave: Formal Tools in Tri-State Design in Busses. TPHOLs 1992: 459-475
1987
1EESimon Finn: Hoisting: Lazy Evaluation in a Cold Climate. TAPSOFT, Vol.2 1987: 155-166

Coauthor Index

1Nick Chapman [4]
2Michael P. Fourman [4] [5]
3M. D. Francis [2] [3]
4R. Harris [3]
5Roger B. Hughes [2] [3]
6John Longley [5]
7Gerry Musgrave [2] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)