Toggle Main Menu Toggle Search

Open Access padlockePrints

TANSTAAFL (with partial functions)

Lookup NU author(s): Professor Cliff JonesORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

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