| |
|
| |
Journal of Mathematical Physics, Vol. 18 (August 1977), pp. 1577-1581.
|
| |
|
| |
Journal of Mathematical Physics, Vol. 29 (March 1988), pp. 572-577.
|
| |
|
| |
|
| |
|
| |
International Journal of Theoretical Physics, Vol. 17, No. 12. (1 December 1978), pp. 957-974.
|
| |
|
| |
Foundations of Physics, Vol. 37 (June 2007), pp. 879-896.
|
| |
|
| |
In Proc. Int. Congress of Math., Vol. II (1998)
|
| |
|
| |
|
| |
Mathematische Annalen, Vol. 130, No. 2. (1 April 1955), pp. 102-108.
|
| |
|
| |
Siberian Mathematical Journal, Vol. 13, No. 4. (1 July 1972), pp. 525-528.
|
| |
Advances in Mathematics, Vol. 153, No. 1. (15 July 2000), pp. 1-117.
|
| |
ArXiv e-prints, Vol. 706 (June 2007)
|
| |
|
| |
Neural Comput., Vol. 19, No. 10. (October 2007), pp. 2665-2693.
|
| |
Theorem Proving in Higher Order Logics (2007), pp. 86-101.
|
| |
|
| |
ArXiv Mathematics e-prints (November 2001)
|
| |
|