Simon Finn Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1997
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon Finn, Michael P. Fourman, John Longley: Partial Functions in a Total Setting. J. Autom. Reasoning 18(1): 85-104 (1997)
1994
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nick Chapman, Simon Finn, Michael P. Fourman: Datatypes in L2. TPHOLs 1994: 128-143
1993
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes: Formal Methods and Their Future. EUROCAST 1993: 180-189
1992
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave: Formal Tools in Tri-State Design in Busses. TPHOLs 1992: 459-475
1987
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon Finn: Hoisting: Lazy Evaluation in a Cold Climate. TAPSOFT, Vol.2 1987: 155-166

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 13:22:16 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page