Travelled to:
1 × France
Collaborated with:
F.Bronsard U.S.Reddy
Talks about:
induct (1) order (1) term (1) use (1)
Person: Robert W. Hasker
DBLP: Hasker:Robert_W=
Contributed to:
Wrote 1 papers:
- CADE-1994-BronsardRH #induction #order #using
- Induction using Term Orderings (FB, USR, RWH), pp. 102–117.