1983
4 references published this year.
Higher-order logic
Johan van Benthem et al. (1983) · Handbook of philosophical logic
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. et al. (1983) · Journal of the ACM
Proof methods for modal and intuitionistic logics
Melvin Fitting (1983)
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science