Skip Nav Destination
Logic Programming
Logic Programming: Proceedings of the 1999 International Conference on Logic Programming
Edited by
The MIT Press
ISBN electronic:
9780262291118
Publication date:
1999
Citation
Andrew W. Appel, Amy P. Felty, 1999. "Lightweight Lemmas in λProlog", Logic Programming: Proceedings of the 1999 International Conference on Logic Programming, Danny De Schreye
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.