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

arXiv2104.14445MaRDI QIDQ6366449

Dominique Larchey-Wendling, Dominik Kirst

Publication date: 29 April 2021

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens