Deriving programs using higher-order generalization
Alberto Pettorossi (1988)
Banach Center Publications
Similarity:
Alberto Pettorossi (1988)
Banach Center Publications
Similarity:
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
G.A. Dawodu, A.A. Afolabi (2001)
Kragujevac Journal of Mathematics
Similarity:
P. Kannappan, P. N. Rathie (1972)
Annales Polonici Mathematici
Similarity:
P. Kannappan, C. T. Ng (1974)
Annales Polonici Mathematici
Similarity:
Reinhard Klette (1982)
Banach Center Publications
Similarity:
M. Kucharzewski, M. Kuczma (1963)
Annales Polonici Mathematici
Similarity:
D. Czaja-Pośpiech, M. Kuczma (1970)
Annales Polonici Mathematici
Similarity:
Ž. Mijajlović (1972)
Publications de l'Institut Mathématique
Similarity:
Risteski, I.B., Trenčevski, K.G., Covachev, V.C. (2001)
Balkan Journal of Geometry and its Applications (BJGA)
Similarity:
J. Matkowski (1970)
Annales Polonici Mathematici
Similarity: