Original language | English |
---|---|
Title of host publication | Program Development in Computational Logic. |
Editors | K.K, M Lau |
Publisher | Springer Verlag |
Pages | 190-223 |
Number of pages | 34 |
Volume | 3049 |
Publication status | Published - 2004 |
Binding-time Analysis for Mercury
Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter