Previous: AIDA-96-05 Next: AIDA-96-08 Index 1996


Intellectics Group: Technical Report 96-06

Representing Unification in a Logical Framework

Jason Brown and Lincoln Wallen


Full Paper: Compressed postscript Compressed DVI

BibTeX entry