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

MLA

Kirst, Dominik, and Dominique Larchey-Wendling. Trakhtenbrot’s Theorem in Coq, A Constructive Approach to Finite Model Theory. 2020. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2004.07390&authtype=sso&custid=ns315887.

APA

Kirst, D., & Larchey-Wendling, D. (2020). Trakhtenbrot’s Theorem in Coq, A Constructive Approach to Finite Model Theory.

Chicago

Kirst, Dominik, and Dominique Larchey-Wendling. 2020. “Trakhtenbrot’s Theorem in Coq, A Constructive Approach to Finite Model Theory.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2004.07390&authtype=sso&custid=ns315887.