Józef Siciak (2011)
Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica
Similarity:
We study extensions of classical theorems on gap power series of a complex variable to the multidimensional case.
M. S. Popadić (1970)
Matematički Vesnik
Similarity:
Dragoš M. Cvetković (1972)
Publications de l'Institut Mathématique
Similarity:
Józef Siciak (2011)
Annales UMCS, Mathematica
Similarity:
We study extensions of classical theorems on gap power series of a complex variable to the multidimensional case.
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)
RAIRO - Theoretical Informatics and Applications
Similarity:
In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...
Andrzej Birkholc (1971)
Colloquium Mathematicae
Similarity:
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...
Babu Ram (1974)
Colloquium Mathematicae
Similarity:
Gan, Xiao-Xiong, Knox, Nathaniel (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Wenguang Zhai (2004)
Acta Arithmetica
Similarity:
Xiao-Xiong Gan, Dariusz Bugajewski (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this note we investigate a relationship between the boundary behavior of power series and the composition of formal power series. In particular, we prove that the composition domain of a formal power series is convex and balanced which implies that the subset consisting of formal power series which can be composed by a formal power series possesses such properties. We also provide a necessary and sufficient condition for the superposition operator to map into itself or to...