Quadratic Extensions in ACL2
2020 ◽
Vol 327
◽
pp. 75-86
Keyword(s):
1972 ◽
Vol 78
(1)
◽
pp. 74-77
◽
1998 ◽
Vol 41
(2)
◽
pp. 158-165
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 27
(2)
◽
pp. 223-231
Keyword(s):
2000 ◽
Vol 76
(5)
◽
pp. 78-81
◽
2014 ◽
Vol 22
(1)
◽
pp. 41-44
1954 ◽
Vol 6
◽
pp. 474-476
◽
1996 ◽
Vol 65
(213)
◽
pp. 319-330
◽
1991 ◽
Vol 43
(1)
◽
pp. 185-194
◽