h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Brinke, Sophie
%A Grädel, Erich
%A Mrkonjić, Lovro
%A Naaf, Matthias Ferdinand
%T Semiring Provenance in the Infinite
%V 119
%C Saarbrücken/Wadern, Germany
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June
%M RWTH-2024-05657
%B Open Access Series in Informatics (OASIcs)
%P 3:1-3:26
%D 2024
%< The provenance of elegance in computation - essays dedicated to Val Tannen : Tannen's Festschrift, May 24-25, 2024, University of Pennsylvania, Philadelphia, PA, USA / edited by Antoine Amarilli, Alin Deutsch
%B Tannen's Festschrift
%C 24 May 2024 - 25 May 2024, Philadelphia (USA)
Y2 24 May 2024 - 25 May 2024
M2 Philadelphia, USA
%K Semiring semantics (Other)
%K Theory of computation → Finite Model Theory (Other)
%K first-order logic (Other)
%K semirings with infinitary operations (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.4230/OASICS.TANNEN.3
%U https://publications.rwth-aachen.de/record/987428