Publication details

Publication details Main information Title: Transaction Logic with (Complex) Events Publication date: July 2014 Citation: ga14:iclp Abstract: - In proceedings Authors: Ana Sofia Gomes, José Júlio Alferes Editors: Michael Leuschel, Tom Schrijvers Book title: Technical Communications of the 30th International Con- ference on Logic Programming (ICLP’14) Series: - Publisher: - Address: - Volume: - Pages: - ISBN: - ISSN: - Note: - Url address: - Export formats Plain text: 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. HTML: <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. BibTeX: @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 Full url: /publications/view.php?code=cfa97d5ee658d2825f5177c86c2ad5d9 Friendly url: /publications/view.php?code=ga14:iclp