Joshua S. Hodas

From MaRDI portal
Person:218005

Available identifiers

zbMath Open hodas.joshua-sMaRDI QIDQ218005

List of research outcomes





PublicationDate of PublicationType
Isolating resource consumption in linear logic proof search (extended abstract)2013-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44118222003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45396502002-07-10Paper
NOVeLLA: A multi-modal electronic-book reader with visual and auditory interfaces2002-03-20Paper
Efficient resource management for linear logic proof search2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q42630812000-04-25Paper
https://portal.mardi4nfdi.de/entity/Q49448722000-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42228451998-12-14Paper
Logic programming in a fragment of intuitionistic linear logic1994-07-18Paper

Research outcomes over time

This page was built for person: Joshua S. Hodas

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:218005&oldid=6648206"
Powered by MediaWiki