Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

M. R. Sadler

Martin R. Sadler

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1987
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jitech/MaibaumS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jitech/MaibaumS87
Tom Maibaum, Martin R. Sadler:
Formal Methods: A Commentary. J. Inf. Technol. 2(2): 77-80 (1987)
1986
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/adt/Sadler86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Sadler86
M. R. Sadler:
A Defense of Proof Theory as the Right Foundations. ADT 1986
1985
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ds/KhoslaMS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ds/KhoslaMS85
Samit Khosla, T. S. E. Maibaum, M. R. Sadler:
Database Specification. DS-1 1985: 141-158
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/KhoslaMS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/KhoslaMS85
Samit Khosla, T. S. E. Maibaum, M. R. Sadler:
Large Database Specification from Small Views. FSTTCS 1985: 246-271
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MaibaumVS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MaibaumVS85
T. 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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MaibaumS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MaibaumS84
T. S. E. Maibaum, M. R. Sadler:
Axiomatizing Specification Theory. ADT 1984: 171-177
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/MaibaumSV84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/MaibaumSV84
T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso:
Logical Specification and Implementation. FSTTCS 1984: 13-30
1983
[c1]
- view
  - electronic edition @ vldb.org
  - no references & citations available
- export record
  dblp key:
  - conf/vldb/GolshaniMS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vldb/GolshaniMS83
Forouzan 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

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.