Skip to Main Content

Skip Nav Destination

Logic Programming: The 1995 International Symposium

Logic Programming

Logic Programming: The 1995 International Symposium

Edited by

The MIT Press

DOI:

https://doi.org/10.7551/mitpress/4301.001.0001

ISBN electronic:

9780262291248

Publication date:

1995

Book Chapter

Clause-based Proofs for Hereditary Harrop Formulas

By

Alain Hui-Bon-Hoa

Alain Hui-Bon-Hoa

Search for other works by this author on:

Google Scholar

Doi:

https://doi.org/10.7551/mitpress/4301.003.0024

Published:

1995

You do not currently have access to this chapter.

Don't already have an account? Register

You could not be signed in. Please check your email address / username and password and try again.