h1

000987428 001__ 987428
000987428 005__ 20260127080139.0
000987428 0247_ $$2ISBN$$a978-3-95977-320-1
000987428 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85195696885
000987428 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-05657
000987428 0247_ $$2doi$$a10.4230/OASICS.TANNEN.3
000987428 037__ $$aRWTH-2024-05657
000987428 041__ $$aEnglish
000987428 1001_ $$0P:(DE-82)986903$$aBrinke, Sophie$$b0$$eCorresponding author$$urwth
000987428 1112_ $$aTannen's Festschrift$$cPhiladelphia$$d2024-05-24 - 2024-05-25$$wUSA
000987428 245__ $$aSemiring Provenance in the Infinite$$honline
000987428 260__ $$aSaarbrücken/Wadern, Germany$$bSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June$$c2024
000987428 29510 $$aThe 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
000987428 300__ $$a3:1-3:26
000987428 3367_ $$033$$2EndNote$$aConference Paper
000987428 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$mcontb
000987428 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib
000987428 3367_ $$2BibTeX$$aINPROCEEDINGS
000987428 3367_ $$2DRIVER$$aconferenceObject
000987428 3367_ $$2DataCite$$aOutput Types/Conference Paper
000987428 3367_ $$2ORCID$$aCONFERENCE_PAPER
000987428 4900_ $$aOpen Access Series in Informatics (OASIcs)$$v119
000987428 588__ $$aDataset connected to DataCite
000987428 591__ $$aGermany
000987428 650_7 $$2Other$$aSemiring semantics
000987428 650_7 $$2Other$$aTheory of computation → Finite Model Theory
000987428 650_7 $$2Other$$afirst-order logic
000987428 650_7 $$2Other$$asemirings with infinitary operations
000987428 7001_ $$0P:(DE-82)IDM00039$$aGrädel, Erich$$b1$$eCorresponding author$$urwth
000987428 7001_ $$0P:(DE-82)IDM04446$$aMrkonjić, Lovro$$b2$$eCorresponding author$$urwth
000987428 7001_ $$0P:(DE-82)IDM04243$$aNaaf, Matthias Ferdinand$$b3$$eCorresponding author$$urwth
000987428 8564_ $$uhttps://publications.rwth-aachen.de/record/987428/files/987428.pdf$$yOpenAccess
000987428 909CO $$ooai:publications.rwth-aachen.de:987428$$pVDB$$pdnbdelivery$$pdriver$$popen_access$$popenaire
000987428 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)986903$$aRWTH Aachen$$b0$$kRWTH
000987428 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00039$$aRWTH Aachen$$b1$$kRWTH
000987428 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04446$$aRWTH Aachen$$b2$$kRWTH
000987428 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM04243$$aRWTH Aachen$$b3$$kRWTH
000987428 9141_ $$y2024
000987428 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000987428 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
000987428 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000987428 9201_ $$0I:(DE-82)117220_20140620$$k117220$$lLehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität)$$x0
000987428 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x1
000987428 961__ $$c2024-06-07T11:03:57.305798$$x2024-06-07T11:03:57.305798$$z2024-06-07
000987428 9801_ $$aFullTexts
000987428 980__ $$aI:(DE-82)110000_20140620
000987428 980__ $$aI:(DE-82)117220_20140620
000987428 980__ $$aUNRESTRICTED
000987428 980__ $$aVDB
000987428 980__ $$acontb
000987428 980__ $$acontrib