001017567 001__ 1017567 001017567 005__ 20260402094638.0 001017567 0247_ $$2ISBN$$a978-3-95977-372-0 001017567 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-105009887503 001017567 0247_ $$2doi$$a10.4230/LIPICS.ICALP.2025.146 001017567 0247_ $$2datacite_doi$$a10.18154/RWTH-2025-07405 001017567 0247_ $$2ISSN$$a1868-8969 001017567 037__ $$aRWTH-2025-07405 001017567 041__ $$aEnglish 001017567 1001_ $$0P:(DE-82)IDM05089$$aBohn, Leon$$b0$$eCorresponding author$$urwth 001017567 1112_ $$a52. International Colloquium on Automata, Languages, and Programming$$cAarhus$$d2025-07-08 - 2025-07-11$$gICALP 2025$$wDenmark 001017567 245__ $$aSaturation Problems for Families of Automata$$honline 001017567 260__ $$aWadern$$bSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH$$c2025 001017567 29510 $$a52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis 001017567 300__ $$a146:1-146:19 001017567 3367_ $$033$$2EndNote$$aConference Paper 001017567 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 001017567 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib 001017567 3367_ $$2BibTeX$$aINPROCEEDINGS 001017567 3367_ $$2DRIVER$$aconferenceObject 001017567 3367_ $$2DataCite$$aOutput Types/Conference Paper 001017567 3367_ $$2ORCID$$aCONFERENCE_PAPER 001017567 4900_ $$aLIPIcs - Leibniz international proceedings in informatics$$v334 001017567 536__ $$0G:(GEPRIS)442233282$$aDFG project G:(GEPRIS)442233282 - Reduktions- und Lerntechniken für omega-Automaten (442233282)$$c442233282$$x0 001017567 588__ $$aDataset connected to DataCite 001017567 591__ $$aGermany 001017567 591__ $$aPeoples R China 001017567 591__ $$aUK 001017567 650_7 $$2Other$$aFDFAs 001017567 650_7 $$2Other$$aFamilies of Automata 001017567 650_7 $$2Other$$aTheory of computation → Automata over infinite objects 001017567 650_7 $$2Other$$aautomata learning 001017567 7001_ $$00000-0002-7301-9234$$aLi, Yong$$b1$$eCorresponding author 001017567 7001_ $$0P:(DE-82)IDM01355$$aLöding, Christof$$b2$$eCorresponding author$$urwth 001017567 7001_ $$00000-0002-9093-9518$$aSchewe, Sven$$b3$$eCorresponding author 001017567 8564_ $$uhttps://publications.rwth-aachen.de/record/1017567/files/1017567.pdf$$yOpenAccess 001017567 909CO $$ooai:publications.rwth-aachen.de:1017567$$popenaire$$popen_access$$pVDB$$pdriver$$pdnbdelivery 001017567 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM05089$$aRWTH Aachen$$b0$$kRWTH 001017567 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01355$$aRWTH Aachen$$b2$$kRWTH 001017567 9141_ $$y2025 001017567 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 001017567 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 001017567 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0 001017567 9201_ $$0I:(DE-82)122910_20140620$$k122910$$lLehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7)$$x0 001017567 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 001017567 961__ $$c2025-08-29T13:09:57.193533$$x2025-08-29T13:09:57.193533$$z2025-09-01 001017567 9801_ $$aFullTexts 001017567 980__ $$aI:(DE-82)120000_20140620 001017567 980__ $$aI:(DE-82)122910_20140620 001017567 980__ $$aUNRESTRICTED 001017567 980__ $$aVDB 001017567 980__ $$acontb 001017567 980__ $$acontrib