On the arithmetic of theorem proving
We present the arithmetization of strings in order to be deployed as an alternative model for automatic theorem proving.
2004 ◽
pp. 457-461
◽
1983 ◽
Vol C-32
(9)
◽
pp. 785-798
◽
Keyword(s):