search result

Cover von A Single Approach to Decide Chase Termination on Linear Existential Rules

A Single Approach to Decide Chase Termination on Linear Existential Rules

Year: 2019
Media group: LIPIcs
Cover von On the Complexity of Universality for Partially Ordered NFAs

On the Complexity of Universality for Partially Ordered NFAs

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0