Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/abstract-2⫷Vol-3739/abstract-3⫸Vol-3739/abstract-4

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)