guest ::
TY - CHAP AU - Batz, Kevin AU - Katoen, Joost-Pieter AU - Orhan, Nora TI - Quantifier Elimination and Craig Interpolation: The Quantitative Way VL - 15691 CY - Cham PB - Springer Nature Switzerland M1 - RWTH-2026-02195 T2 - Lecture Notes in Computer Science SP - 176-197 PY - 2025 T2 - Foundations of Software Science and Computation Structures : 28. International Conference, FoSSaCS 2025 CY - 3 May 2025 - 8 May 2025, Hamilton, ON (Canada) Y2 - 3 May 2025 - 8 May 2025 M2 - Hamilton, ON, Canada LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 DO - DOI:10.1007/978-3-031-90897-2_9 UR - https://publications.rwth-aachen.de/record/1029282 ER -