External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

External Transaction Logic with Automatic Compensations

Ana Sofia Gomes, José Júlio Alferes. External Transaction Logic with Automatic Compensations. In João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran, editors, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Volume 8143 of Lecture Notes in Computer Science, pages 239-255, Springer, 2013. [doi]

Authors

Ana Sofia Gomes

This author has not been identified. Look up 'Ana Sofia Gomes' in Google

José Júlio Alferes

This author has not been identified. Look up 'José Júlio Alferes' in Google
runs on