( 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.

Rudolf Reeber

Rudolf Reeber

Rudolf Reeber

Rudolf Reeber

Nilgün Erikli

 

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

Formalization of the DE2 Language., и . CHARME, том 3725 из Lecture Notes in Computer Science, стр. 20-34. Springer, (2005)A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)., и . IJCAR, том 4130 из Lecture Notes in Computer Science, стр. 453-467. Springer, (2006)Integrating external deduction tools with ACL2., , , и . J. Appl. Log., 7 (1): 3-25 (2009)A SAT-based procedure for verifying finite state machines in ACL2., и . ACL2, стр. 127-135. ACM, (2006)Combining ACL2 and an automated verification tool to verify a multiplier., и . ACL2, стр. 63-70. ACM, (2006)ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool., и . FMCAD, стр. 161-170. IEEE Computer Society, (2006)