( en | de | ru )

 

Disambiguation of "Gamboa, Ruben"

Author of the publication

copydeleteadd this publication to your clipboard
Perfect Numbers in ACL2.

, and . ACL2, volume 192 of EPTCS, page 53-59. (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. You can also use the button next to the name to display some publications already assigned to the person.

Samantha Gamboa

Christiane Rüben

Antimikrobielle Wirksamkeit von chemischen Einzelkomponenten ätherischer Öle gegenüber ausgewählten Lebensmittelverderbniserregern. TierH Hannover, (2009)

Leonardo Verano Gamboa

Ricardo Gamboa Valenzuela

Miguel Gamboa López

 

Other publications of authors with the same name

An Interpreter for Quantum Circuits, and . ACL2, volume 114 of EPTCS, page 85-94. (2013)Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis., and . ACL2, volume 152 of EPTCS, page 89-100. (2014)A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem in ACL2(R)., and . ITP, volume 237 of LIPIcs, page 5:1-5:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Curve-Based Representation of Moving Object Trajectories., , , and . IDEAS, page 419-425. IEEE Computer Society, (2004)Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 274-291. Springer, (2002)How Computers Work: Computational Thinking for Everyone, and . TFPIE, volume 106 of EPTCS, page 1-19. (2012)The Fundamental Theorem of Algebra in ACL2., and . ACL2, volume 280 of EPTCS, page 98-110. (2018)Abstract Machine for LDL., , and . EDBT, volume 416 of Lecture Notes in Computer Science, page 153-168. Springer, (1990)Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure., and . ITP, volume 6172 of Lecture Notes in Computer Science, page 25-34. Springer, (2010)Unique factorization in ACL2: Euclidean domains., and . ACL2, page 21-27. ACM, (2006)