Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Jones C
Editor(s): Farmer, W., Kerber, M. and Kohlhase, M.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: CADE-13 Workshop on the Mechanization of Partial Functions
Year of Conference: 1996
Pages: 53-64
Notes: Workshop held in conjunction with the 13th International Conference on Automated Deduction (CADE-13), Rutgers University, 30 July-3 August 1996
