Detail

Publication date: 01/01/2004

A termination theorem for sorted multi-adjoint logic programs

Authors

José Júlio Alferes, Carlos Viegas Damásio, João Leite, Manuel Ojeda-Aciego,

Publisher Universitat Politècnica de Catalunya
Publisher Universitat Politècnica de Catalunya