Travelled to:1 × Canada
1 × USA
Collaborated with:∅ N.Y.Foo A.S.Rao A.Taylor
Talks about:construct (1) version (1) retriev (1) small (1) relev (1) negat (1) deduc (1) type (1) larg (1) data (1)
Person: Adrian Walker
DBLP: Walker:Adrian
Contributed to:
1988
1980Wrote 2 papers:
- JICSCP-1988-FooRTW88 #deduction
- Deduced Relevant Types and Constructive Negation (NYF, ASR, AT, AW), pp. 126–139.
- VLDB-1980-Walker #database #on the #retrieval #scalability
- On Retrieval from a Small Version of a Large Data Base (AW), pp. 47–54.