Travelled to:1 × Australia
1 × USA
Collaborated with:∅ M.R.Genesereth
Talks about:investig (1) interact (1) classic (1) inject (1) compil (1) plato (1) logic (1) finit (1) what (1) form (1)
Person: Timothy L. Hinrichs
DBLP: Hinrichs:Timothy_L=
Contributed to:
2011
2008Wrote 2 papers:
- PADL-2011-Hinrichs #compilation #interactive #named #web
- Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.
- KR-2008-HinrichsG #finite #how #injection #logic #what
- Injecting the How into the What: Investigating a Finite Classical Logic (TLH, MRG), pp. 92–192.