In the Head of the Beholder: Comparing Different Proof Representations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr. In the Head of the Beholder: Comparing Different Proof Representations. In Guido Governatori, Anni-Yasmin Turhan, editors, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Volume 13752 of Lecture Notes in Computer Science, pages 211-226, Springer, 2022. [doi]

This author has not been identified. Look up 'Christian Alrabbaa' in GoogleThis author has not been identified. Look up 'Stefan Borgwardt' in GoogleThis author has not been identified. Look up 'Anke Hirsch' in GoogleThis author has not been identified. Look up 'Nina Knieriemen' in GoogleThis author has not been identified. Look up 'Alisa Kovtunova' in GoogleThis author has not been identified. Look up 'Anna Milena Rothermel' in GoogleThis author has not been identified. Look up 'Frederik Wiehr' in Google

runs on WebDSL