Robert L. Constable

Publication Activity (10 Years)

Years Active: 1969-2021
Publications (10 Years): 7

Top Topics

Classical Logic

Formal Specification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Ann. Math. Artif. Intell.

Publications