Login / Signup

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

Dominik KirstDominique Larchey-Wendling
Published in: IJCAR (2) (2020)
Keyphrases
  • finite model theory
  • database theory
  • theorem prover
  • open problems
  • formal methods
  • databases
  • response time
  • normal form