Graph-transformation verification using monadic second-order logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. Graph-transformation verification using monadic second-order logic. In Peter Schneider-Kamp, Michael Hanus, editors, Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. pages 17-28, ACM, 2011. [doi]

This author has not been identified. Look up 'Kazuhiro Inaba' in GoogleThis author has not been identified. Look up 'Soichiro Hidaka' in GoogleThis author has not been identified. It may be one of the following persons:

Zhenjiang Hu

Look up 'Zhenjiang Hu' in GoogleThis author has not been identified. It may be one of the following persons:

Hiroyuki Kato

Look up 'Hiroyuki Kato' in GoogleThis author has not been identified. Look up 'Keisuke Nakano' in Google

runs on WebDSL