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:
Dynamic Logic Programming
Publication date:
1998
Citation:
jja98:agp
Abstract:
-
In proceedings
Authors:
José Júlio Alferes
,
João Alexandre Leite
,
Luís Moniz Pereira
, H. Przymusinska, T. Przymusinski
Editors:
J. L. Freire Nistal, M. Falaschi, M. Villares Ferro
Book title:
Joint International Conference on Declarative Programming
Series:
-
Publisher:
UTE y Copy Belen SL
Address:
-
Volume:
-
Pages:
393-408
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
José Júlio Alferes and João Alexandre Leite and Luís Moniz Pereira and H. Przymusinska and T. Przymusinski, Dynamic Logic Programming, in: J. L. Freire Nistal and M. Falaschi and M. Villares Ferro (eds), Joint International Conference on Declarative Programming, UTE y Copy Belen SL, Pag. 393-408, 1998.
HTML:
<a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, H. Przymusinska and T. Przymusinski, <b>Dynamic Logic Programming</b>, in: J. L. Freire Nistal, M. Falaschi and M. Villares Ferro (eds), <u>Joint International Conference on Declarative Programming</u>, UTE y Copy Belen SL, Pag. 393-408, 1998.
BibTeX:
@inproceedings {jja98:agp, author = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite and Lu\'{\i}s Moniz Pereira and H. Przymusinska and T. Przymusinski}, editor = {J. L. Freire Nistal and M. Falaschi and M. Villares Ferro}, title = {Dynamic Logic Programming}, booktitle = {Joint International Conference on Declarative Programming}, publisher = {UTE y Copy Belen SL}, pages = {393-408}, year = {1998}, }
Publication's urls
Full url:
/publications/view.php?code=5e59cf095eed9efd28f42e6c2864c334
Friendly url:
/publications/view.php?code=jja98:agp
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