View in EDS HTML Full Text PDF Full Text

Justification logic and audited computation.

Saved in:
Bibliographic Details
Title: Justification logic and audited computation.
Authors: Bavera, Francisco1, fbavera@gmail.com, Bonelli, Eduardo2
Source: Journal of Logic & Computation; Jul2018, Vol. 28 Issue 5, p909-934, 26p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0955792X
DOI:10.1093/logcom/exv037