TY - RPRT TI - Promise Algebra: An Algebraic Model of Non-Deterministic Computations AU - Eugenia Ternovska PY - 2023 UR - https://arxiv.org/abs/2311.12312 ID - 2311.12312 ER -