SOFSEM 2018: Theory and Practice of Computer Science

Book title Buchtitel
SOFSEM 2018: Theory and Practice of Computer Science
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas LARS: A Logic-Based Framework for Analytic Reasoning over StreamsKonferenzbeitrag Inproceedings 2018