A Decision Method for Elementary Stream Calculus
arXiv:2401.02239
Abstract
The main result is a doubly exponential decision procedure for the first-order equality theory of streams with both arithmetic and control-oriented stream operations. This stream logic is expressive for elementary problems of stream calculus.
19 pages