Login

Publication

Detail

Publication date: 01/10/2007

Approved Models for Normal Logic Programs

Authors

Nachum Dershowitz, Luís Moniz Pereira, Alexandre Pinto, Andrei Voronkov,
URL http://www.lpar.net/2007/
Publisher Springer
Series LPAR - LNAI
Address Yerevan, Armenia
URL http://www.lpar.net/2007/
Publisher Springer
Series LPAR - LNAI
Address Yerevan, Armenia