On Strongest Algebraic Program Invariants

Hrushovski, E; Ouaknine, J; Pouly, A; Worrell, J

Hrushovski, E (通讯作者),Univ Oxford, Math Inst, Oxford, England.

JOURNAL OF THE ACM, 2023; 70 (5):

Abstract

A polynomial program is one in which all assignments are given by polynomial expressions and in which all branching is nondeterministic (as opposed to......

Full Text Link