Negative Translations and Normal Modality - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein. Negative Translations and Normal Modality. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

This author has not been identified. Look up 'Tadeusz Litak' in GoogleThis author has not been identified. Look up 'Miriam Polzer' in GoogleThis author has not been identified. Look up 'Ulrich Rabenstein' in Google

runs on WebDSL