Extending Transaction Logic with External Actions | José Júlio Alferes

Extending Transaction Logic with External Actions

Citation:: Gomes, Ana Sofia, and José Júlio Alferes. "Extending Transaction Logic with External Actions." Theory And Practice Of Logic Programming. 13.4-5-Online-Supplement (2013).

Abstract:

n/a

Notes:

n/a

Preview	Attachment	Size
	iclp13.pdf	261.07 KB