Lawrence Powers

Publication Activity (10 Years)

Years Active: 1987-1991
Publications (10 Years): 0

Publications

Robert K. Meyer, Martin W. Bunder, Lawrence Powers
Implementing the 'Fool's Model' of Combinatory Logic. J. Autom. Reason. 7 (4) (1991)
Lawrence Powers
Quantifier responsiveness. Notre Dame J. Formal Log. 28 (3) (1987)