Gerald Berger

Identifiers

No identifiers captured yet.

Papers (3)

1. The Space-Efficient Core of Vadalog cs.DB · 2018 · author #1
2. Containment for Rule-Based Ontology-Mediated Queries cs.DB · 2017 · author #2
3. A Many-Sorted Variant of Japaridze's Polymodal Provability Logic math.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andreas Pieris 2 shared papers
• Emanuel Sallinger 1 shared papers
• Georg Gottlob 1 shared papers
• Hans Tompits 1 shared papers
• Lev D. Beklemishev 1 shared papers
• Pablo Barcelo 1 shared papers