The following pages link to Joshua S. Hodas (Q218005):
Displaying 9 items.
- Logic programming in a fragment of intuitionistic linear logic (Q1327384) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- (Q2844805) (← links)
- (Q4222845) (← links)
- (Q4263081) (← links)
- (Q4411822) (← links)
- (Q4539650) (← links)
- (Q4944872) (← links)
- NOVeLLA: A multi-modal electronic-book reader with visual and auditory interfaces (Q5950310) (← links)
