Proof script pragmatics in IMPS

Abstract

This paper introduces the IMPS proof script mechanism and some practical methods for exploiting it.

Authors

Farmer WM; Guttman JD; Nadel ME; Thayer FJ

Lecture Notes in Computer Science

814

pp. 356-370

Springer Nature

January 1, 1994

10.1007/3-540-58156-1_25

Lecture Notes in Computer Science

0302-9743

William Michael Farmer