LARS: A Logic-Based Framework for Analytic Reasoning over Streams
From MaRDI portal
Publication:5127174
DOI10.1007/978-3-319-73117-9_6zbMath1448.68396MaRDI QIDQ5127174
Thomas Eiter, Harald Beck, Minh Dao-Tran
Publication date: 21 October 2020
Published in: SOFSEM 2018: Theory and Practice of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-73117-9_6
Uses Software