<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00784898v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T09:10:45+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Algebras, automata and logic for languages of labeled birooted trees</title>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Janin</surname>
              </persName>
              <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">janin</idno>
              <idno type="idhal" notation="numeric">2125</idno>
              <idno type="halauthorid" notation="string">7131-2125</idno>
              <idno type="IDREF">https://www.idref.fr/13673524X</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>David</forename>
                <surname>Janin</surname>
              </persName>
              <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
              <email type="domain">labri.fr</email>
            </editor>
            <funder ref="#projanr-35548"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2013-02-04 22:23:38</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2013-04-25 14:48:38</date>
              <date type="whenWritten">2013-02-04</date>
              <date type="whenModified">2025-05-26 14:36:02</date>
              <date type="whenReleased">2013-04-25 15:04:48</date>
              <date type="whenProduced">2013</date>
              <date type="whenEndEmbargoed">2013-04-25</date>
              <ref type="file" target="https://hal.science/hal-00784898v2/document">
                <date notBefore="2013-04-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00784898v2/file/RR1467-13.pdf" id="file-817802-208351">
                <date notBefore="2013-04-25"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-00784898/document"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="130069">
                <persName>
                  <forename>David</forename>
                  <surname>Janin</surname>
                </persName>
                <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
                <email type="domain">labri.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00784898</idno>
            <idno type="halUri">https://hal.science/hal-00784898</idno>
            <idno type="halBibtex">janin:hal-00784898</idno>
            <idno type="halRefHtml">&lt;i&gt;ICALP&lt;/i&gt;, 2013, Riga, Latvia. pp.318-329, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-39212-2_29"&gt;&amp;#x27E8;10.1007/978-3-642-39212-2_29&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ICALP, 2013, Riga, Latvia. pp.318-329, &amp;#x27E8;10.1007/978-3-642-39212-2_29&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-817802-208351"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Algebras, automata and logic for languages of labeled birooted trees</title>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Janin</surname>
                  </persName>
                  <email type="md5">ea85695351c16b0cf0126385d28c34df</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">janin</idno>
                  <idno type="idhal" notation="numeric">2125</idno>
                  <idno type="halauthorid" notation="string">7131-2125</idno>
                  <idno type="IDREF">https://www.idref.fr/13673524X</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">RR-1467-13</idno>
                <title level="m">40th International Colloquium on Automata, Languages and Programming (ICALP)</title>
                <meeting>
                  <title>ICALP</title>
                  <date type="start">2013</date>
                  <settlement>Riga</settlement>
                  <country key="LV">Latvia</country>
                </meeting>
                <editor>F. V. Fomin and M. Kwiatkowska and D. Peleg</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">LNCS</biblScope>
                  <biblScope unit="volume">7966</biblScope>
                  <biblScope unit="pp">318-329</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-39212-2_29</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">languages of birooted trees</term>
                <term xml:lang="en">partially ordered monoids</term>
                <term xml:lang="en">premorphisms</term>
                <term xml:lang="en">monadic second order logic</term>
                <term xml:lang="en">algebraic recognizability</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we study the languages of labeled finite birooted trees: Munn's birooted trees extended with vertex labeling. We define a notion of finite state birooted tree automata that is shown to capture the class of languages that are upward closed w.r.t. the natural order and definable in Monadic Second Order Logic. Then, relying on the inverse monoid structure of labeled birooted trees, we derive a notion of recognizable languages by means of (adequate) premorphisms into finite (adequately) ordered monoids. This notion is shown to capture finite boolean combinations of languages as above. We also provide a simple encoding of finite (mono-rooted) labeled trees in an antichain of labeled birooted trees that shows that classical regular languages of finite (mono-rooted) trees are also recognized by such premorphisms and finite ordered monoids.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-35548" status="VALID">
          <idno type="anr">ANR-12-CORD-0009</idno>
          <idno type="program">Contenus et Interactions</idno>
          <orgName>INEDIT</orgName>
          <desc>INteractivité dans l'Ecriture De l'Interaction et du Temps</desc>
          <date type="start">2012</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>