Login / Signup

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

Vladislav RyzhikovYury SavateevMichael Zakharyaschev
Published in: TIME (2021)
Keyphrases