|
Search the dblp DataBase
Jeffrey Polakow:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:167-182 [Conf]
- Joshua S. Hodas, Jeffrey Polakow
Forum as a Logic Programming Language. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
- Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
Isolating Resource Consumption in Linear Logic Proof Search. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|