Simon Brock Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Brock: Compile-Time Pointer Reversal. Journal of Functional and Logic Programming 1996(3): (1996)
1995
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Brock, Gerald Ostheimer: Process Semantics of Graph Reduction. CONCUR 1995: 471-485
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Brock, Gerald Ostheimer: A process semantics for functional programming. Electr. Notes Theor. Comput. Sci. 2: (1995)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuncan Shand, Simon Brock: Proofs as graphs. Electr. Notes Theor. Comput. Sci. 2: (1995)
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Sjaak Smetsers, Simon Brock: Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. CAAP 1992: 300-321

Coauthor Index

1Steffen van Bakel [1]
2Gerald Ostheimer [3] [4]
3Duncan Shand [2]
4Sjaak Smetsers (J. E. W. Smetsers) [1]

Colors in the list of coauthors

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)