<?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-03189647</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-15T13:01:53+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Modal Perspective on Path Constraints</title>
            <author role="aut">
              <persName>
                <forename type="first">Natasha</forename>
                <surname>Alechina</surname>
              </persName>
              <email type="md5">ab918d6c3389290c1ac16c3b28400b62</email>
              <email type="domain">cs.nott.ac.uk</email>
              <idno type="idhal" notation="numeric">1018507</idno>
              <idno type="halauthorid" notation="string">1232728-1018507</idno>
              <affiliation ref="#struct-348919"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Demri</surname>
              </persName>
              <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
              <email type="domain">lmf.cnrs.fr</email>
              <idno type="idhal" notation="string">stephane-demri</idno>
              <idno type="idhal" notation="numeric">184540</idno>
              <idno type="halauthorid" notation="string">51795-184540</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3493-2610</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-1042689"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maarten</forename>
                <surname>de Rijke</surname>
              </persName>
              <idno type="halauthorid">113873-0</idno>
              <affiliation ref="#struct-120654"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Stéphane</forename>
                <surname>Demri</surname>
              </persName>
              <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
              <email type="domain">lmf.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-04-07 16:16:13</date>
              <date type="whenModified">2025-07-10 16:10:04</date>
              <date type="whenReleased">2021-04-08 10:48:59</date>
              <date type="whenProduced">2003</date>
              <date type="whenEndEmbargoed">2021-04-07</date>
              <ref type="file" target="https://hal.science/hal-03189647v1/document">
                <date notBefore="2021-04-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03189647v1/file/final-jlc-adr.pdf" id="file-3191971-2801235">
                <date notBefore="2021-04-07"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-03189647/file/final-jlc-adr.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="573407">
                <persName>
                  <forename>Stéphane</forename>
                  <surname>Demri</surname>
                </persName>
                <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
                <email type="domain">lmf.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03189647</idno>
            <idno type="halUri">https://hal.science/hal-03189647</idno>
            <idno type="halBibtex">alechina:hal-03189647</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Logic and Computation&lt;/i&gt;, 2003, 13 (6), pp.939-956. &lt;a target="_blank" href="https://dx.doi.org/10.1093/logcom/13.6.939"&gt;&amp;#x27E8;10.1093/logcom/13.6.939&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Logic and Computation, 2003, 13 (6), pp.939-956. &amp;#x27E8;10.1093/logcom/13.6.939&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3191971-2801235"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="ENS-PSACLAY">Ecole Normale Supérieure Paris-Saclay</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A Modal Perspective on Path Constraints</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Natasha</forename>
                    <surname>Alechina</surname>
                  </persName>
                  <email type="md5">ab918d6c3389290c1ac16c3b28400b62</email>
                  <email type="domain">cs.nott.ac.uk</email>
                  <idno type="idhal" notation="numeric">1018507</idno>
                  <idno type="halauthorid" notation="string">1232728-1018507</idno>
                  <affiliation ref="#struct-348919"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Demri</surname>
                  </persName>
                  <email type="md5">66a9b0d70773929aee63fee388faadbb</email>
                  <email type="domain">lmf.cnrs.fr</email>
                  <idno type="idhal" notation="string">stephane-demri</idno>
                  <idno type="idhal" notation="numeric">184540</idno>
                  <idno type="halauthorid" notation="string">51795-184540</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3493-2610</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-1042689"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maarten</forename>
                    <surname>de Rijke</surname>
                  </persName>
                  <idno type="halauthorid">113873-0</idno>
                  <affiliation ref="#struct-120654"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">6267</idno>
                <idno type="issn">0955-792X</idno>
                <idno type="eissn">1465-363X</idno>
                <title level="j">Journal of Logic and Computation</title>
                <imprint>
                  <publisher>Oxford University Press (OUP)</publisher>
                  <biblScope unit="volume">13</biblScope>
                  <biblScope unit="issue">6</biblScope>
                  <biblScope unit="pp">939-956</biblScope>
                  <date type="datePub">2003</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1093/logcom/13.6.939</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">automata theory</term>
                <term xml:lang="en">modal logic</term>
                <term xml:lang="en">path constraints</term>
                <term xml:lang="en">semistructured data</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We analyze several classes of path constraints for semistructured data and prove a umber of decidability and complexity results for such constraints. While some of these decidability results were known before, we believe that our improved complexity bounds are new. Our proofs are based on techniques from modal logic and automata theory. We believe that our modal logic perspective sheds additional light on the reasons for previously known decidability and complexity results.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-348919" status="INCOMING">
          <orgName>university of Notthingam</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1042689" status="OLD">
          <orgName>Laboratoire Spécification et Vérification</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>4, avenue des Sciences, 91190, Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
            <relation active="#struct-523723" type="direct"/>
          </listRelation>
        </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>
        <org type="regroupinstitution" xml:id="struct-120654" status="VALID">
          <idno type="IdRef">026431610</idno>
          <idno type="ISNI">0000 0000 8499 2262</idno>
          <idno type="ROR">https://ror.org/04dkp9463</idno>
          <idno type="Wikidata">Q214341</idno>
          <orgName>Universiteit van Amsterdam = University of Amsterdam</orgName>
          <orgName type="acronym">UvA</orgName>
          <date type="start">1632-01-01</date>
          <desc>
            <address>
              <addrLine>Spui 21 1012 WX Amsterdam</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">https://www.uva.nl/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-523723" status="VALID">
          <idno type="ROR">https://ror.org/00hx6zz33</idno>
          <orgName>Ecole Normale Supérieure  Paris-Saclay</orgName>
          <orgName type="acronym">ENS Paris Saclay</orgName>
          <desc>
            <address>
              <addrLine>4 avenue des Sciences, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ens-paris-saclay.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>