|
Search the dblp DataBase
M. R. Sadler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler
A Modal System of Algebras for Database Specification and Query/Update Language Support. [Citation Graph (7, 9)][DBLP] VLDB, 1983, pp:331-339 [Conf]
- Samit Khosla, T. S. E. Maibaum, M. R. Sadler
Database Specification. [Citation Graph (2, 0)][DBLP] DS-1, 1985, pp:141-158 [Conf]
- T. S. E. Maibaum, M. R. Sadler
Axiomatizing Specification Theory. [Citation Graph (0, 0)][DBLP] ADT, 1984, pp:171-177 [Conf]
- M. R. Sadler
A Defense of Proof Theory as the Right Foundations. [Citation Graph (0, 0)][DBLP] ADT, 1986, pp:- [Conf]
- Samit Khosla, T. S. E. Maibaum, M. R. Sadler
Large Database Specification from Small Views. [Citation Graph (0, 0)][DBLP] FSTTCS, 1985, pp:246-271 [Conf]
- T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso
Logical Specification and Implementation. [Citation Graph (0, 0)][DBLP] FSTTCS, 1984, pp:13-30 [Conf]
- T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
A Theory of Abstract Data Types for Program Development: Bridging the Gap? [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1985, pp:214-230 [Conf]
Search in 0.001secs, Finished in 0.001secs
|