Model theoretic properties of the Urysohn sphere.

Gabriel Conant Caroline Terry

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

model theoretic
deductive databases
description logics
logic programs
proof theoretic
operational semantics
databases
decision procedures
high level
general purpose
np complete