2 papers
cs.LO2024
A Decision Method for Elementary Stream Calculus
Harald Ruess
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 l…
cs.LO2024
Solving Causal Stream Inclusions
Harald Ruess
We study solutions to systems of stream inclusions of the form 'f in T(f)', where the nondeterministic transformer 'T' on omega-infinite streams is assumed to be causal in the sens…