M. R. Sadler 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 keys1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. R. Sadler: A Defense of Proof Theory as the Right Foundations. ADT 1986
1985
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
1983
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLForouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339

Coauthor Index

1Forouzan Golshani [1]
2Samit Khosla [5] [6]
3T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [1] [2] [3] [4] [5] [6]
4Paulo A. S. Veloso [2] [4]

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)