A Decision Method for Elementary Stream Calculus
Logic in Computer Science
2024-01-05 v1
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.
Keywords
Cite
@article{arxiv.2401.02239,
title = {A Decision Method for Elementary Stream Calculus},
author = {Harald Ruess},
journal= {arXiv preprint arXiv:2401.02239},
year = {2024}
}
Comments
19 pages