Joshua S. Hodas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1990–2002
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | CSL | A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. | Joshua S. Hodas, Pablo Lpez, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel |
| 2001 | CADE | lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. | Joshua S. Hodas, Naoyuki Tamura |
| 1998 | ICLP | Efficient Implementation of a Linear Logic Programming Language. | Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang |
| 1992 | ICLP | Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. | Joshua S. Hodas |
| 1991 | LICS | Logic Programming in a Fragment of Intuitionistic Linear Logic | Joshua S. Hodas, Dale Miller |
| 1990 | ICLP | Representing Objects in a Logic Programming Langueage with Scoping Constructs. | Joshua S. Hodas, Dale Miller |