1995
A methodology for proving termination of general logic programs
Publication
Publication
Presented at the
International Joint Conference on Artificial Intelligence, Montreal, Canada
Additional Metadata | |
---|---|
, | |
Morgan Kaufmann (San Francisco, CA) | |
International Joint Conference on Artificial Intelligence | |
Marchiori, E. (1995). A methodology for proving termination of general logic programs. In IJCAI-95: proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (pp. 356–361). Morgan Kaufmann (San Francisco, CA). |