Inproceedings,

The power of the terminating chase (invited talk)

, , and .
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, (2019)

Meta data

Tags

    Users

    • @scadsfct

    Comments and Reviews