Justification Logic and History Based Computation.

Francisco Bavera, Eduardo Bonelli

Browse the full ICTAC paper archive.