( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating external deduction tools with ACL2.

, , , и . J. Appl. Log., 7 (1): 3-25 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lucas Matt

Franz Matt

Konrad Matt

Hildegard Matt

Sonja Matt

 

Другие публикации лиц с тем же именем

Formal Verification of FIRE: A Case Study., , , и . DAC, стр. 173-177. ACM Press, (1997)Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4., и . ACL2, том 152 из EPTCS, стр. 1-7. (2014)Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.. J. Autom. Reason., 7 (1): 109-158 (1991)Integrating external deduction tools with ACL2., , , и . J. Appl. Log., 7 (1): 3-25 (2009)The Strength of Nonstandard Methods in Arithmetic., , и . J. Symb. Log., 49 (4): 1039-1058 (1984)Limited Second-Order Functionality in a First-Order Setting., и . J. Autom. Reason., 64 (3): 391-422 (2020)An Interactive Enhancement to the Boyer-Moore Theorem Prover.. CADE, том 310 из Lecture Notes in Computer Science, стр. 735-736. Springer, (1988)Functional Instantiation in First-Order Logic., , , и . Artificial and Mathematical Theory of Computation, стр. 7-26. Academic Press / Elsevier, (1991)Set Theory With a Filter Quantifier.. J. Symb. Log., 48 (2): 263-287 (1983)Blunt and Topless End Extensions of Models of Set Theory.. J. Symb. Log., 48 (4): 1053-1073 (1983)