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:
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Publication date:
2005
Citation:
DBLP:journals/sLogica/AlferesBBL05
Abstract:
-
Journal
Authors:
José Júlio Alferes
,
Federico Banti
, Antonio Brogi,
João Alexandre Leite
Journal:
Studia Logica
Publisher:
-
Address:
-
Volume:
79
Number:
1
Pages:
7-32
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://dx.doi.org/10.1007/s11225-005-0492-y
Export formats
Plain text:
José Júlio Alferes and Federico Banti and Antonio Brogi and João Alexandre Leite, The Refined Extension Principle for Semantics of Dynamic Logic Programming, Studia Logica, Vol. 79, No. 1, Pag. 7-32, (http://dx.doi.org/10.1007/s11225-005-0492-y), 2005.
HTML:
<b><a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=52aefa9f3c82806b7308696c9695b36a" class="author">Federico Banti</a>, Antonio Brogi and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a></b>, <u>The Refined Extension Principle for Semantics of Dynamic Logic Programming</u>, Studia Logica, Vol. 79, No. 1, Pag. 7-32, (<a href="http://dx.doi.org/10.1007/s11225-005-0492-y" target="_blank">url</a>), 2005.
BibTeX:
@article {DBLP:journals/sLogica/AlferesBBL05, author = {Jos{\'e} J{\'u}lio Alferes and Federico Banti and Antonio Brogi and Jo{\~a}o Alexandre Leite}, title = {The Refined Extension Principle for Semantics of Dynamic Logic Programming}, journal = {Studia Logica}, volume = {79}, number = {1}, pages = {7-32}, url = {http://dx.doi.org/10.1007/s11225-005-0492-y}, year = {2005}, }
Publication's urls
Full url:
/publications/view.php?code=c49f6169758ec95c4965f91df8d42846
Friendly url:
/publications/view.php?code=DBLP:journals/sLogica/AlferesBBL05
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