Johannes Marti

发表

Carsten Lutz, Johannes Marti, Leif Sabellek, 2020, KR.
Carsten Lutz, Frank Wolter, Johannes Marti, 2020, Description Logics.
Helle Hvid Hansen, Yde Venema, Johannes Marti, 2018, DALI@TABLEAUX.
Yde Venema, Johannes Marti, Clemens Kupke, 2020 .
Helle Hvid Hansen, Yde Venema, Johannes Marti, 2017, ArXiv.
Johannes Marti, Riccardo Pinosio, Riccardo Pinosio, 2014, JELIA.
Johannes Marti, Riccardo Pinosio, J. Marti, 2020, Order.
Yde Venema, Johannes Marti, Fatemeh Seifan, 2015, CALCO.
Yde Venema, Johannes Marti, Clemens Kupke, 2020, ArXiv.
Johannes Marti, Riccardo Pinosio, J. Marti, 2016, Stud Logica.
Johannes Marti, J. Marti, 2020, The Review of Symbolic Logic.
Yde Venema, Johannes Marti, Y. Venema, 2012, CMCS.
Helle Hvid Hansen, Yde Venema, Johannes Marti, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Yde Venema, Johannes Marti, Y. Venema, 2015, J. Comput. Syst. Sci..
Carsten Lutz, Frank Wolter, Johannes Marti, 2020, ArXiv.