A
Menu
January 01, 2025 book-chapter Open access Aachen paper

Quantifier Elimination and Craig Interpolation: The Quantitative Way

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2026-02195 Full text (OA) OpenAlex

Authors 3

  1. Kevin Batz Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

  3. Nora Orhan Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0