A
Menu
January 01, 2025 book-chapter Aachen paper

Provenance Analysis and Semiring Semantics for First-Order Logic

Trends in mathematics, pp. 351–401

DOI: 10.1007/978-3-031-86319-6_21 OpenAlex

Authors 2

  1. Erich Grädel corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Val Tannen

    University of Pennsylvania

    Affiliation as printed

    University of Pennsylvania, Philadelphia, PA, USA

Cited by 1 stored of 1

1 result

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

References 36