On decidability of hyperbolicity.

Zdenek Dvorák Luke Postle

Published in: CoRR (2020)

Keyphrases

description logics
query answering
type checking
decision procedures
knowledge base
data exchange
data mining
information technology
relational databases
mobile robot
computational properties