@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00089055v1> a dcat:Dataset ;
    dct:description """
              This paper is a study of topological properties of omega context free languages (omega-CFL). We first extend some decidability results for the deterministic ones (omega-DCFL), proving that one can decide whether an omega-DCFL is in a given Borel class, or in the Wadge class of a given omega regular language. We prove that omega-CFL exhaust the hierarchy of Borel sets of finite rank, and that one cannot decide the borel class of an omega-CFL, giving an answer to a question of Lescow and Thomas [Logical Specifications of Infinite Computations, In:"A Decade of Concurrency", Springer LNCS 803 (1994), 583-621]. We give also a (partial) answer to a question of Simonnet about omega powers of finitary languages. We show that Büchi-Landweber's Theorem cannot be extended to even closed omega-CFL: in a Gale-Stewart game with a (closed) omega-CFL winning set, one cannot decide which player has a winning strategy. From the proof of topological properties we derive some arithmetical properties of omega-CFL.
            """ ;
    dct:identifier "hal-00089055" ;
    dct:issued "2026-05-08T18:16:38.557173"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-08T18:16:38.557178"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Topological Properties of Omega Context Free Languages" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00089055v1/resource/2f6fc685-92df-4614-81f7-6d8c3e6fee36> ;
    dcat:keyword "arithmetical-class",
        "borel-class",
        "decision-problems",
        "gale-stewart-game",
        "infoeu-reposemanticsarticle",
        "infoinfo-locomputer-science-cslogic-in-computer-science-cslo",
        "journal-articles",
        "omega-context-free-languages",
        "omega-powers",
        "topological-properties",
        "wadge-class" ;
    dcat:landingPage <ISSN:%200304-3975> .

<ISSN:%200304-3975> a foaf:Document .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00089055v1/resource/2f6fc685-92df-4614-81f7-6d8c3e6fee36> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-08T18:16:38.585116"^^xsd:dateTime ;
    dct:modified "2026-05-08T18:16:38.544602"^^xsd:dateTime ;
    dct:title "Topological Properties of Omega Context Free Languages" ;
    dcat:accessURL <https://hal.science/hal-00089055> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .