BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hodas:Joshua_S=

Contributed to:

CSL 20022002
IJCAR 20012001
JICSLP 19981998
JICSLP 19921992
LICS 19911991
ICLP 19901990

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.