Taming Displayed Tense Logics Using Nested Sequents with Deep Inference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajeev GorÃ©, Linda Postniece, Alwen Tiu. Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. In Martin Giese, Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Volume 5607 of Lecture Notes in Computer Science, pages 189-204, Springer, 2009. [doi]

This author has not been identified. Look up 'Rajeev GorÃ©' in GoogleThis author has not been identified. Look up 'Linda Postniece' in GoogleThis author has not been identified. Look up 'Alwen Tiu' in Google

runs on WebDSL