@InProceedings{10.1007_978-3-031-63501-4_8,
    author = {Ruess, Harald},
    editor = {Benzm{\"u}ller, Christoph
and Heule, Marijn J.H.
and Schmidt, Renate A.},
    title = {A Decision Method for First-Order Stream Logic},
    booktitle = {Automated Reasoning},
    year = {2024},
    publisher = {Springer Nature Switzerland},
    address = {Cham},
    pages = {137--156},
    abstract = {Our main result is a doubly exponential decision procedure for the first-order equality theory of streams with addition, convolution, and control-oriented stream operations. This stream logic is shown to be expressive for solving basic problems in stream calculus.},
    isbn = {978-3-031-63501-4},
    doi = {https://doi.org/10.1007/978-3-031-63501-4_8},
    date-added = {2024-10-1 8:16:42 +0100}
}

@InProceedings{10.1007_978-3-031-63501-4_8, author = {Ruess, Harald}, editor = {Benzm{\"u}ller, Christoph and Heule, Marijn J.H. and Schmidt, Renate A.}, title = {A Decision Method for First-Order Stream Logic}, booktitle = {Automated Reasoning}, year = {2024}, publisher = {Springer Nature Switzerland}, address = {Cham}, pages = {137--156}, abstract = {Our main result is a doubly exponential decision procedure for the first-order equality theory of streams with addition, convolution, and control-oriented stream operations. This stream logic is shown to be expressive for solving basic problems in stream calculus.}, isbn = {978-3-031-63501-4}, doi = {https://doi.org/10.1007/978-3-031-63501-4_8}, date-added = {2024-10-1 8:16:42 +0100} }