Source: http://www.koreascience.or.kr/article/JAKO201607433788439.page
Timestamp: 2019-04-24 10:20:30+00:00

Document:
We introduce formal symbols of product type and of minimum type and show that the formal power series representation for $e^p$ is a formal symbol of product type, where p is a formal symbol of minimum type.
Aoki, T.(1984). Symbols and formal symbols of pseudodifferential operators, Advanced Syudies in Pure Math., v. 4 (K.Okamoto, ed.), Group Representation and Systems of Differential Equations, Proceedings Tokyo 1982, Kinokuniya, Tokyo; North-Holland, Amsterdam-New York-Oxford, pp. 181-208 .
Aoki, T.(1983). Exponential calculus of pseudodifferential operators(Japanese), Sugaku , v. 35, no. 4, pp. 302-315.
Aoki, T.(1997). The theory of symbols of pseudodifferential operators with infinite order, Lectures in Mathematical Sciences (Japanese), Univ. of Tokyo, v. 14.
Kataoka, K.(1976). On the theory of Radon transformations of hyperfunctions and its applications, Master's thesis in Univ. Tokyo(Japanese).
Kataoka, K.(1981). On the theory of hyperfunctions, J. Fac. Sci. Univ. Tokyo Sect. IA, v. 28, pp. 331-412.
Lee, C. H.(2009). Composition of pseudodifferential operators of product type, Proceedings of the Jangjeon Mathematical Society, v. 12, no. 3, pp. 289-298.
Lee, C. H.(2011). Exponential function of pseudodifferential operator of minimum type, Proceedings of the Jangjeon Mathematical Society, v. 14, no. 1, pp. 149-160.
Lee, C. H.(2014). Formal adjoint of pseudodifferential operator of product type, Proceedings of the Jangjeon Mathematical Society, v. 17, no. 2, pp. 299-305.
Sato, M., T. Kawai and M. Kashiwara(1973). Microfunctions and Pseudodifferential Equations, Hyperfunctions and Pseudo-Differential Equations (H.Komatsu, ed.), Proceeding, Katata 1971, Lecture Notes in Math., v. 287, Springer, Berlin-Heidelberg-New York, pp. 265-529.

References: v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v. 
 v.