Horvat, S., Miranda, B. S., & Studer, T. (2025). Uniform interpolation for interpretability logic.
Chicago-Zitierstil (17. Ausg.)Horvat, Sebastijan, Borja Sierra Miranda, und Thomas Studer. Uniform Interpolation for Interpretability Logic. 2025.
MLA-Zitierstil (9. Ausg.)Horvat, Sebastijan, et al. Uniform Interpolation for Interpretability Logic. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.