J. S. Hodas

发表

Lolli: An Extension of λProlog with Linear Context Management

J. S. Hodas, 1992 .

Logic programming in intuitionistic linear logic: theory, design, and implementation

J. S. Hodas, 1995 .

Logic Programming In A Fragment Of Intuitionist ic Linear Logic : Extended Abstract MS-CIS-91-32 LOGIC & COMPUTATION 32

J. S. Hodas, 2016 .

Condor : A Simple , Expressive Graphical DataBase Query Language ∗

Amy R. Ward, J. S. Hodas, Jeff Polakow, 2007 .

Grammars For Unbounded Dependencies

J. S. Hodas, 1997 .

Efficient resource management for linear logic proof search

Frank Pfenning, Iliano Cervesato, Joshua S. Hodas, 1996, Theor. Comput. Sci..

Logic programming in a fragment of intuitionistic linear logic

Dale Miller, Joshua S. Hodas, J. S. Hodas, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies

Joshua S. Hodas, J. S. Hodas, 1997, LACL.

Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language

Joshua S. Hodas, J. S. Hodas, 1992, JICSLP.

Compiling Prolog From the PLM to the WAM and Beyond

Joshua S. Hodas, J. S. Hodas, 1990 .

Representing Objects in a Logic Programming Langueage with Scoping Constructs

Dale Miller, Joshua S. Hodas, J. S. Hodas, 1990, ICLP.