Travelled to:1 × Germany
1 × Italy
1 × USA
Collaborated with:P.B.Andrews ∅ C.E.Brown
Talks about:system (2) strategi (1) instanti (1) descript (1) theorem (1) definit (1) breadth (1) theori (1) select (1) search (1)
Person: Matthew Bishop
DBLP: Bishop:Matthew
Contributed to:
200019991998Wrote 3 papers:
- CADE-2000-AndrewsBB #proving #theorem proving #type system
- System Description: TPS: A Theorem Proving System for Type Theory (PBA, MB, CEB), pp. 164–169.
- CADE-1999-Bishop
- A Breadth-First Strategy for Mating Search (MB), pp. 359–373.
- CADE-1998-BishopA
- Selectively Instantiating Definitions (MB, PBA), pp. 365–380.