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:
A Logical Framework for Modelling eMAS
Publication date:
2003
Citation:
lmp:padl03
Abstract:
-
In proceedings
Authors:
P. Dell'Acqua
,
Luís Moniz Pereira
Editors:
V. Dahl, P. Wadler
Book title:
Procs. Practical Aspects of Declarative Languages PADL'03
Series:
LNCS
Publisher:
Springer
Address:
-
Volume:
2562
Pages:
241-255
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
P. Dell'Acqua and Luís Moniz Pereira, A Logical Framework for Modelling eMAS, in: V. Dahl and P. Wadler (eds), Procs. Practical Aspects of Declarative Languages PADL'03, LNCS, Springer, Vol. 2562, Pag. 241-255, 2003.
HTML:
<a href="/people/members/view.php?code=c3899b9bc15364381381c58d138af552" class="author">P. Dell'Acqua</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>A Logical Framework for Modelling eMAS</b>, in: V. Dahl and P. Wadler (eds), <u>Procs. Practical Aspects of Declarative Languages PADL'03</u>, LNCS, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 2562, Pag. 241-255, 2003.
BibTeX:
@inproceedings {lmp:padl03, author = {P. Dell'Acqua and Lu\'{\i}s Moniz Pereira}, editor = {V. Dahl and P. Wadler}, title = {A Logical Framework for Modelling eMAS}, booktitle = {Procs. Practical Aspects of Declarative Languages PADL'03}, series = {LNCS}, publisher = {Springer}, volume = {2562}, pages = {241-255}, year = {2003}, }
Publication's urls
Full url:
/publications/view.php?code=f437e52e726737238be498cd85cb00a2
Friendly url:
/publications/view.php?code=lmp:padl03
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