Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
On Termination of a Tabulation Procedure for Residuated Logic Programming
June 2003
DA03:wst
-
In proceedings
Carlos Viegas Damásio, Manuel Ojeda-Aciego
Workshop on Termination (WST'03)
-
-
Valencia, Spain
-
40-43
-
-
-
-
Export formats
Carlos Viegas Damásio and Manuel Ojeda-Aciego, On Termination of a Tabulation Procedure for Residuated Logic Programming, , Workshop on Termination (WST'03), Valencia, Spain, Pag. 40-43, June 2003.
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a> and Manuel Ojeda-Aciego, <b>On Termination of a Tabulation Procedure for Residuated Logic Programming</b>, <u>Workshop on Termination (WST'03)</u>, Valencia, Spain, Pag. 40-43, June 2003.
@inproceedings {DA03:wst, author = {Carlos Viegas Dam{\'a}sio and Manuel Ojeda-Aciego}, title = {On Termination of a Tabulation Procedure for Residuated Logic Programming}, booktitle = {Workshop on Termination (WST'03)}, address = {Valencia, Spain}, pages = {40-43}, month = {June}, year = {2003}, }
Publication's urls
/publications/view.php?code=9d7f1b7380ae9640cec682b6d356aea9
/publications/view.php?code=DA03:wst
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT