Vol-3800⫷ Vol-3801 ⫸Vol-3802
urn:nbn:de:0074-3801-0


Vol-3801/short5⫷Vol-3801/invited2
Przemyslaw Andrzej Walega

DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract)