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
Transaction Logic with (Complex) Events
July 2014
ga14:iclp
-
In proceedings
Ana Sofia Gomes, José Júlio Alferes
Michael Leuschel, Tom Schrijvers
Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14)
-
-
-
-
-
-
-
-
-
Export formats
Ana Sofia Gomes and José Júlio Alferes, Transaction Logic with (Complex) Events, in: Michael Leuschel and Tom Schrijvers (eds), Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14), July 2014.
<a href="/people/members/view.php?code=d6ce3bc379df4fc77fdbae72d5c38b02" class="author">Ana Sofia Gomes</a> and <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <b>Transaction Logic with (Complex) Events</b>, in: Michael Leuschel and Tom Schrijvers (eds), <u>Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14)</u>, July 2014.
@inproceedings {ga14:iclp, author = {Ana Sofia Gomes and Jos{\'e} J{\'u}lio Alferes}, editor = {Michael Leuschel and Tom Schrijvers}, title = {Transaction Logic with (Complex) Events}, booktitle = {Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14)}, month = {July}, year = {2014}, }
Publication's urls
/publications/view.php?code=cfa97d5ee658d2825f5177c86c2ad5d9
/publications/view.php?code=ga14:iclp
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