Alexander Steen

Alexander Steen

Ernst Moritz Arndt Universität Greifswald - Greifswald / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4451172
Ernst Moritz Arndt University of Greifswald
person_outline Alexander Steen's MOST POPULAR ARTICLES
1-) Extensional higher-order paramodulation in Leo-III Journal of Automated Reasoning 65 (6), 775-807, 2021
2-) Theorem provers for every normal modal logic LPAR-21. 21st International Conference on Logic for Programming, Artificial …, 2017
3-) Agent-based HOL reasoning Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016
4-) Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III Dissertations in Artificial Intelligence (DISKI) 345, 244, 2018
5-) Agent-based HOL reasoning Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016