Items where authors include "Smaus, J.-G."

Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 1.

Article

Smaus, J.-G., Hill, P.M. and King, A. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684

This list was generated on Sun Mar 24 19:19:29 2024 GMT.