Alan J. Martin

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Alan J. Martin, Amy P. Felty
An Improved Implementation and Abstract Interface for Hybrid LFMTP (2011)
Alberto Momigliano, Alan J. Martin, Amy P. Felty
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 196 (2008)