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.

翻译：主要结果为一种针对同时包含算术运算与控制导向流操作的一阶流等式理论的双指数判定过程。该流逻辑对初等流演算问题具有表达能力。