search result

Cover von On Distances Between Words with Parameters

On Distances Between Words with Parameters

Year: 2023
Media group: LIPIcs
Cover von A Formal Query Language and Automata Model for Aggregation in Complex Event Recognition

A Formal Query Language and Automata Model for Aggregation in Complex Event Recognition

Year: 2026
Media group: LIPIcs
Cover von Ranked Enumeration of MSO Logic on Words

Ranked Enumeration of MSO Logic on Words

Year: 2021
Media group: LIPIcs
Cover von Enumeration on Trees under Relabelings

Enumeration on Trees under Relabelings

Year: 2018
Media group: LIPIcs
Cover von Characterizing Definability in Decidable Fixpoint Logics

Characterizing Definability in Decidable Fixpoint Logics

Year: 2017
Media group: LIPIcs
Cover von A Formal Study of Collaborative Access Control in Distributed Datalog

A Formal Study of Collaborative Access Control in Distributed Datalog

Year: 2016
Media group: LIPIcs
Cover von Combined Tractability of Query Evaluation via Tree Automata and Cycluits

Combined Tractability of Query Evaluation via Tree Automata and Cycluits

Year: 2017
Media group: LIPIcs
Cover von Dynamic Direct Access of MSO Query Evaluation over Strings

Dynamic Direct Access of MSO Query Evaluation over Strings

Year: 2025
Media group: LIPIcs
Cover von Representation, Provenance, and Explanations in Database Theory and Logic ; 1
pp. 49-71
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von Ranked Enumeration for MSO on Trees via Knowledge Compilation

Ranked Enumeration for MSO on Trees via Knowledge Compilation

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0