Jeff Polakow (Selection)

Jeffrey Polakow

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 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: 167-182

6 Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova: Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70(2): (2002)

1 Joshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. Electr. Notes Theor. Comput. Sci. 3: (1996)

Selection of 3 from 13 records - Jeff Polakow has 12 coauthors

7		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: 167-182
6		Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova: Isolating Resource Consumption in Linear Logic Proof Search. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
1		Joshua S. Hodas, Jeffrey Polakow: Forum as a Logic Programming Language. Electr. Notes Theor. Comput. Sci. 3: (1996)