Concepedia
1
Publications
22
Citations
H-Index
1983
Active since
M. Sadler is an author specializing in automated reasoning, formal verification, and semantic web.
Top concepts
EngineeringSemantic WebFormal MethodsAutomated ReasoningFormal Verification
Publications per year
1983–1983
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 citations
Algebraic Logic, Relational Database, Engineering +10
Rows per page
1–1 of 1