1979

3 references published this year.

Isomorphism and higher order equivalence

Miklós Ajtai (1979) · Annals of Mathematical Logic

Programming language constructs for which it is impossible to obtain good Hoare axiom systems

Edmund M. Clarke Jr. (1979) · Journal of the ACM

First-Order Dynamic Logic

David Harel (1979)