Jeffrey Polakow

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
Isolating Resource Consumption in Linear Logic Proof Search. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. CSL (2002)
Joshua S. Hodas, Jeffrey Polakow
Forum as a Logic Programming Language. Electron. Notes Theor. Comput. Sci. 3 (1996)