Monadic Fragments of Gödel Logics: Decidability and Undecidability Results - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller. Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 77-91, Springer, 2007. [doi]

This author has not been identified. Look up 'Matthias Baaz' in GoogleThis author has not been identified. Look up 'Agata Ciabattoni' in GoogleThis author has not been identified. Look up 'Christian G. Fermüller' in Google

runs on WebDSL