A Game Model for Proofs with Costs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller. A Game Model for Proofs with Costs. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 241-258, Springer, 2019. [doi]

This author has not been identified. Look up 'Timo Lang' in GoogleThis author has not been identified. Look up 'Carlos Olarte' in GoogleThis author has not been identified. Look up 'Elaine Pimentel' in GoogleThis author has not been identified. Look up 'Christian G. Fermüller' in Google

runs on WebDSL