Searching for authors named "Alan Hutchinson" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Models of Higher Order Logic
by Alan Hutchinson
…Models of Higher Order Logic Alan Hutchinson Department of Computer Science, King's College…
Add To MetaCart

Combining Object and Meta Level Search Using Built in Tasks
by Alan Hutchinson
…Combining object and meta level search using built in tasks Alan Hutchinson Department…
Add To MetaCart

Pseudo-Metrics on First Order Terms
by Alan Hutchinson
…Pseudo-Metrics on First Order Terms Alan Hutchinson 5 March 1996 When searching for a proof…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB