Henkin-Ramirez formulas with weight factors

• 1 January 1982
• journal article
• Published by Cellule MathDoc/Centre Mersenne in Annales de l'institut Fourier
• Vol. 32  (3) , 91-110
• https://doi.org/10.5802/aif.881

Abstract

Keywords

• WEIGHT FACTORS
• HENKIN RAMIREZ FORMULAS
• FORMULAS WITH WEIGHT