On model-theoretic tree properties.

Artem Chernikov Nicholas Ramsey

Published in: J. Math. Log. (2016)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
proof theoretic
logic programs
databases
high level
default reasoning