A General Framework for Automatic Termination Analysis of Logic Programs

Springer Science and Business Media LLC - 2001
Nachum Dershowitz, Naomi Lindenstrauss1, Yehoshua Sagiv1, Alexander Serebrenik
1Institute for Computer Science, The Hebrew University, Jerusalem 91904, Israel (e-mail: {naomil,sagiv}@cs.huji.ac.il), IL

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Thông tin tác giả