| Publication | Year | ||||||||
|---|---|---|---|---|---|---|---|---|---|
|
Using ACL2 To Teach Students About Software Testing Authors : Ruben Gamboa , Alicia ThoneyJournal : Electronic Proceedings in Theoretical Computer Science Journal Reference count : 13 Volume : 359 Pages : 19-32 |
2022 | ||||||||
|
All Prime Numbers Have Primitive Roots Authors : Ruben Gamboa , Woodrow GamboaJournal : Electronic Proceedings in Theoretical Computer Science Journal Reference count : 4 Volume : 359 Pages : 9-18 |
2022 | ||||||||
|
Authors :
Ruben Gamboa
, John Cowles
, Woodrow Gamboa
Journal : Electronic Proceedings in Theoretical Computer Science Journal Reference count : 2 Volume : 327 Pages : 75-86 |
2020 | ||||||||
|
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications Authors : Grant Passmore , Ruben GamboaJournal : Electronic Proceedings in Theoretical Computer Science Volume : 327 |
2020 | ||||||||
|
The Cayley-Dickson Construction in ACL2 Authors : John Cowles , Ruben GamboaJournal : Electronic Proceedings in Theoretical Computer Science Journal Reference count : 3 Volume : 249 Pages : 18-29 |
2017 | ||||||||
|
Authors :
Gerwin Klein
, Ruben Gamboa
Journal : Journal of Automated Reasoning Volume : 56 Pages : 201-203 |
2016 | ||||||||
|
Authors :
John Cowles
, Ruben Gamboa
Journal : Electronic Proceedings in Theoretical Computer Science Journal Reference count : 6 Volume : 192 Pages : 53-59 |
2015 | ||||||||
|
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications Authors : Ruben Gamboa , Jared DavisJournal : Electronic Proceedings in Theoretical Computer Science Volume : 114 Pages : 1-2 |
2013 | ||||||||
|
A Formalization of Powerlist Algebra in ACL2 Authors : Ruben A. GamboaJournal : Journal of Automated Reasoning Journal Reference count : 14 Volume : 43 Pages : 139-172 |
2009 | ||||||||
|
Authors :
Ruben A. Gamboa
Journal : Formal Methods in System Design Volume : 20 Pages : 91-106 |
2002 | ||||||||