School of Computing

The academic directory - ac/dc

Dave Beckett and Neil Smith

Technical Report 8-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1996.


AC/DC (See URL is an experimental, collaborative research project that indexes and allows searches over all public academic WWW servers in the UK. This report describes why AC/DC was created, how it is built from existing software, the collaborative process used to collect and index the data and future activities.

Download publication 23 kbytes

Bibtex Record

author = {Dave Beckett and Neil Smith},
title = {The ACademic DireCtory - AC/DC},
month = {May},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/8-96},
    hensa_ftpaddress = {},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/},
    institution = {University of Kent, Computing Laboratory},
    number = {8-96*},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014