Cover von A Single Approach to Decide Chase Termination on Linear Existential Rules opens in new tab

A Single Approach to Decide Chase Termination on Linear Existential Rules

Year: 2019
Media group: LIPIcs

Details

Search for this author
Year: 2019
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1-19
Participating parties: Search for this character Leclere, Michel; Mugnier, Marie-Laure; Thomazo, Michael; Ulliana, Federico
Media group: LIPIcs