Concepedia

Joshua S. Hodas

JS

Statistics

Publications

8

Citations

651

H-Index

8

Active since

1990

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

Harvey Mudd College

Joshua S. Hodas is an author at University of Pennsylvania specializing in computer science, logic, and programming languages.

Publications per year

1990–2002

8

Publications

8

Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller · Information and Computation · 1994 · 395 citations · Full text

, , +12

Efficient resource management for linear logic proof search

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning · Theoretical Computer Science · 2000 · 73 citations

, , +13

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

Joshua S. Hodas · Scholarly Commons (University of Pennsylvania) · 1995 · 46 citations

, , +9

Logic programming in a fragment of intuitionistic linear logic

Joshua S. Hodas, Dale Miller · 2002 · 35 citations

, , +12

Representing objects in a logic programming language with scoping constructs

Joshua S. Hodas, Dale Miller · ScholarlyCommons (University of Pennsylvania) · 1990 · 30 citations · Full text

, , +8

1–5 of 8