Wu, H., Wang, J., Xia, B., Li, X., Zhan, N., & Gan, T. (2024). Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets.
Chicago-Zitierstil (17. Ausg.)Wu, Hao, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, und Ting Gan. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.
MLA-Zitierstil (9. Ausg.)Wu, Hao, et al. Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.