TY - GEN
AU - Krötzsch, Markus
AU - Marx, Maximilian
AU - Rudolph, Sebastian
AU - Markus Krötzsch and Maximilian Marx and Sebastian Rudolph
TI - The Power of the Terminating Chase (Invited Talk)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Tuple-generating dependencies
KW - all-instances chase termination
KW - Existential rules
KW - expressive power
KW - data complexity
PY - 2019
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation