Travelled to:1 × Germany
1 × USA
Collaborated with:B.Spencer
Talks about:resolut (2) support (1) binari (1) order (1) canon (1) activ (1) rank (1) form (1)
Person: Joseph Douglas Horton
DBLP: Horton:Joseph_Douglas
Contributed to:
20001998Wrote 2 papers:
- CADE-2000-SpencerH #order
- Support Ordered Resolution (BS, JDH), pp. 385–400.
- CADE-1998-HortonS #canonical #named #process #rank
- Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.