Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
An Exercise with Dynamic Logic Programming
Publication date:
2000
Citation:
jja:agp2
Abstract:
-
In proceedings
Authors:
José Júlio Alferes
,
Luís Moniz Pereira
, H. Przymusinska, T. C. Przymusinski,
Paulo Quaresma
Editors:
L. Garcia, M. Chiara Meo
Book title:
Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00)
Series:
-
Publisher:
-
Address:
-
Volume:
-
Pages:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
José Júlio Alferes and Luís Moniz Pereira and H. Przymusinska and T. C. Przymusinski and Paulo Quaresma, An Exercise with Dynamic Logic Programming, in: L. Garcia and M. Chiara Meo (eds), Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00), 2000.
HTML:
<a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, H. Przymusinska, T. C. Przymusinski and <a href="/people/members/view.php?code=6bbcbe7fa6571e2b3156f86d78f40c8a" class="author">Paulo Quaresma</a>, <b>An Exercise with Dynamic Logic Programming</b>, in: L. Garcia and M. Chiara Meo (eds), <u>Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00)</u>, 2000.
BibTeX:
@inproceedings {jja:agp2, author = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira and H. Przymusinska and T. C. Przymusinski and Paulo Quaresma}, editor = {L. Garcia and M. Chiara Meo}, title = {An Exercise with Dynamic Logic Programming}, booktitle = {Procs of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00)}, year = {2000}, }
Publication's urls
Full url:
/publications/view.php?code=deee2678185bc1a2140ac641d461ec70
Friendly url:
/publications/view.php?code=jja:agp2
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541