Volume: Vol-3801 Datalog-2.0 2024 | Year: 2024

Paper: « short5 | invited2

DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract)

• Przemyslaw Andrzej Walega ORCID dblp

74-74 PDF