Relativization of Gurevich's Conjectures.

Anatole Dahan Anuj Dawar

Published in: CoRR (2020)

Keyphrases

theorem prover
upper bound
fuzzy logic
inductive inference
database
lower bound
probabilistic model
programming language