A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng. A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. In Ngoc Thanh Nguyen, Bogdan Trawinski, Raymond Kosala, editors, Intelligent Information and Database Systems - 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I. Volume 9011 of Lecture Notes in Computer Science, pages 634-643, Springer, 2015. [doi]

This author has not been identified. Look up 'Shunsuke Nanaumi' in GoogleThis author has not been identified. Look up 'Kazunori Wagatsuma' in GoogleThis author has not been identified. Look up 'Hongbiao Gao' in GoogleThis author has not been identified. Look up 'Yuichi Goto' in GoogleThis author has not been identified. Look up 'Jingde Cheng' in Google

runs on WebDSL