`Travelled to:`

1 × Israel

1 × Italy

1 × The Netherlands

1 × USA

2 × United Kingdom

`Collaborated with:`

D.Miller N.Tamura ∅ K.M.Watkins K.Kang P.López J.Polakow L.Stoilova E.Pimentel

`Talks about:`

logic (8) program (5) linear (5) implement (2) languag (2) intuitionist (1) construct (1) lollicop (1) langueag (1) fragment (1)

## Person: Joshua S. Hodas

### DBLP: Hodas:Joshua_S=

### Contributed to:

### Wrote 6 papers:

- CSL-2002-HodasLPSP #logic programming #proving #resource management
- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming (JSH, PL, JP, LS, EP), pp. 167–182.
- IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving
- lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
- JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language
- Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.
- JICSLP-1992-Hodas #dependence #logic programming #programming language #semiparsing #specification
- Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language (JSH), pp. 622–636.
- LICS-1991-HodasM #linear #logic programming
- Logic Programming in a Fragment of Intuitionistic Linear Logic (JSH, DM), pp. 32–42.
- CLP-1990-HodasM90 #logic programming #representation
- Representing Objects in a Logic Programming Langueage with Scoping Constructs (JSH, DM), pp. 511–526.