Dale A. Miller

Publication Activity (10 Years)

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

Publications

Dale A. Miller
A compact representation of proofs. Stud Logica 46 (4) (1987)
Dale A. Miller, Eve Longini Cohen, Peter B. Andrews
A Look at TPS. CADE (1982)