A Framework for Analysis of Typed Logic Programs (2001)

Cached

Download Links

by Vitaly Lagoon , Peter J. Stuckey
Venue:IN PROCEEDINGS OF THE FIFTH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING, VOLUME 2024 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:16 - 5 self