Skip Nav Destination
Warren's Abstract Machine: A Tutorial Reconstruction
Hassan Aït-Kaci is Member of Research Staff, Digital Equipment Corporation, Paris Research Laboratory.
Search for other works by this author on:
The MIT Press
3: Flat Resolution
1991. "Flat Resolution", Warren's Abstract Machine: A Tutorial Reconstruction, Hassan Aït-Kaci
Download citation file:
Don't already have an account? Register
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.