Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory.

Dominik Kirst Dominique Larchey-Wendling

Published in: CoRR (2020)

Keyphrases

finite model theory
database theory
formal methods
theorem prover
open problems
databases
data types