Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens.

Dominik Kirst Dominique Larchey-Wendling

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

finite model theory
database theory
theorem prover
open problems
formal methods
databases
normal form
database design
object oriented
expressive power