Return to Article Details Logics of conditional computations with errors Download Download PDF