http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Quantifier Elimination and Craig Interpolation: The Quantitative Way

Batz, Kevin (Corresponding author)^RWTH* ; Katoen, Joost-Pieter^RWTH* ; Orhan, Nora^RWTH*

In
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, Seiten/Artikel-Nr: 176-197

2025

Konferenz/Event:Foundations of Software Science and Computation Structures : 28. International Conference, FoSSaCS 2025 , Hamilton, ON , Canada , FoSSaCS 2025 , 2025-05-03 - 2025-05-08

Konferenz/Event:International Joint Conferences on Theory and Practice of Software , Hamilton, ON , Canada , ETAPS 2025 , 2025-05-03 - 2025-05-08

ImpressumCham : Springer Nature Switzerland

Umfang176-197

ISBN978-3-031-90896-5, 978-3-031-90897-2

ReiheLecture Notes in Computer Science ; 15691

Online
DOI: 10.18154/RWTH-2026-02195
DOI: 10.1007/978-3-031-90897-2_9
10.1007/978-3-031-90897-2_9
URL: https://publications.rwth-aachen.de/record/1029282/files/1029282.pdf

Einrichtungen

1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105004795675

Interne Identnummern
RWTH-2026-02195
Datensatz-ID: 1029282

Beteiligte Länder
Germany, UK