( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fourier Series Formalization in ACL2(r).

, , и . ACL2, том 192 из EPTCS, стр. 35-51. (2015)

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.

Hildegard Matt

Lucas Matt

Franz Matt

Konrad Matt

Sonja Matt

 

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

An Interactive Enhancement to the Boyer-Moore Theorem Prover.. CADE, том 310 из Lecture Notes in Computer Science, стр. 735-736. Springer, (1988)Integrating external deduction tools with ACL2., , , и . J. Appl. Log., 7 (1): 3-25 (2009)Limited Second-Order Functionality in a First-Order Setting., и . J. Autom. Reason., 64 (3): 391-422 (2020)Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4., и . ACL2, том 152 из EPTCS, стр. 1-7. (2014)Formal Verification of FIRE: A Case Study., , , и . DAC, стр. 173-177. ACM Press, (1997)Generalization in the Presence of Free Variables: A Mechanically-Checked Correctness Proof for one Algorithm.. J. Autom. Reason., 7 (1): 109-158 (1991)The Strength of Nonstandard Methods in Arithmetic., , и . J. Symb. Log., 49 (4): 1039-1058 (1984)Functional Instantiation in First-Order Logic., , , и . Artificial and Mathematical Theory of Computation, стр. 7-26. Academic Press / Elsevier, (1991)Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1, и . ACL2, том 114 из EPTCS, стр. 5-12. (2013)Meta Reasoning in ACL2., , , , и . TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 163-178. Springer, (2005)