h1

h2

h3

h4

h5
h6
%0 Book Section
%A Batz, Kevin
%A Katoen, Joost-Pieter
%A Orhan, Nora
%T Quantifier Elimination and Craig Interpolation: The Quantitative Way
%V 15691
%C Cham
%I Springer Nature Switzerland
%M RWTH-2026-02195
%B Lecture Notes in Computer Science
%P 176-197
%D 2025
%< Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings / edited by Parosh Aziz Abdulla, Delia Kesner
%B Foundations of Software Science and Computation Structures : 28. International Conference, FoSSaCS 2025
%C 3 May 2025 - 8 May 2025, Hamilton, ON (Canada)
Y2 3 May 2025 - 8 May 2025
M2 Hamilton, ON, Canada
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.1007/978-3-031-90897-2_9
%U https://publications.rwth-aachen.de/record/1029282