William E. Aitken

Publication Activity (10 Years)

Years Active: 1990-1999
Publications (10 Years): 0

Publications

William E. Aitken, Robert L. Constable, Judith L. Underwood
Metalogical Frameworks II: Developing a Reflected Decision Procedure. J. Autom. Reason. 22 (2) (1999)
Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
The Semantics of Reflected Proof LICS (1990)