Deriving programs using higher-order generalization
Alberto Pettorossi (1988)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: