Natural Deduction Calculus for Computation Tree Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin. Natural Deduction Calculus for Computation Tree Logic. In 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 3-6 October 2006, Sofia, Bulgaria. pages 175-183, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Alexander Bolotov' in GoogleThis author has not been identified. Look up 'Oleg Grigoriev' in GoogleThis author has not been identified. Look up 'Vasilyi Shangin' in Google

runs on WebDSL