Model Theoretic Properties of Metric Valued Fields.

Itaï Ben Yaacov

Published in: J. Symb. Log. (2014)

Keyphrases

model theoretic
deductive databases
desirable properties
fixpoint
operational semantics
proof theoretic
description logics
programming language
databases
machine learning
data model
general purpose
logic programs
logic programming
decision procedures