Concepedia

Author

M. Sadler

Also Known As

M R Sadler, M. R. Sadler, M. Sadler

8

Publications

82

Citations

4

H-Index

5

Concepts

MS

About

M. Sadler is an author specializing in automated reasoning, formal verification, and semantic web.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

22

2

Automated Reasoning

1

1

22

3

Formal Methods

1

1

22

4

Formal Verification

1

1

22

5

Semantic Web

1

1

22

M. Sadler

×

1

Publications

22

Citations

1

H-Index

YearCitations

A Modal System of Algebras for Database Specification and Query/Update Language Support

Forouzan Golshani, T. S. E. Maibaum, M. Sadler

Very Large Data Bases

1983

22

Page 1