Login / Signup

Metric Temporal Description Logics with Interval-Rigid Names.

Franz BaaderStefan BorgwardtPatrick KoopmannAna OzakiVeronika Thost
Published in: ACM Trans. Comput. Log. (2020)
Keyphrases