共 50 条
- [35] A GENERALIZED FREDHOLM THEORY FOR CERTAIN MAPS IN REGULAR REPRESENTATIONS OF AN ALGEBRA [J]. CANADIAN JOURNAL OF MATHEMATICS, 1968, 20 (02): : 495 - &
- [38] Typing theorems of omega algebra [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 643 - 659
- [39] Theorems of algebra and geometry. [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1944, 219 : 301 - 303