<?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-00085313</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-01T21:22:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Manipulating tree tuple languages by transforming logic programs</title>
            <author role="aut">
              <persName>
                <forename type="first">Sébastien</forename>
                <surname>Limet</surname>
              </persName>
              <email type="md5">da84cd503c08cdf5a4cc22db459df96a</email>
              <email type="domain">univ-orleans.fr</email>
              <idno type="idhal" notation="string">sebastien-limet</idno>
              <idno type="idhal" notation="numeric">1393715</idno>
              <idno type="halauthorid" notation="string">153733-1393715</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9392-2626</idno>
              <affiliation ref="#struct-1625"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gernot</forename>
                <surname>Salzer</surname>
              </persName>
              <email type="md5">27d153d0cc860b38c643fe98fd969e10</email>
              <email type="domain">logic.at</email>
              <idno type="idhal" notation="numeric">834320</idno>
              <idno type="halauthorid" notation="string">153735-834320</idno>
              <affiliation ref="#struct-16683"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sébastien</forename>
                <surname>Limet</surname>
              </persName>
              <email type="md5">da84cd503c08cdf5a4cc22db459df96a</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-07-12 13:00:29</date>
              <date type="whenModified">2026-01-09 13:32:03</date>
              <date type="whenReleased">2006-07-12 13:00:29</date>
              <date type="whenProduced">2003</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="112078">
                <persName>
                  <forename>Sébastien</forename>
                  <surname>Limet</surname>
                </persName>
                <email type="md5">da84cd503c08cdf5a4cc22db459df96a</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00085313</idno>
            <idno type="halUri">https://hal.science/hal-00085313</idno>
            <idno type="halBibtex">limet:hal-00085313</idno>
            <idno type="halRefHtml">&lt;i&gt;Electronic Notes in Computer Science&lt;/i&gt;, 2003, 86, 15 p</idno>
            <idno type="halRef">Electronic Notes in Computer Science, 2003, 86, 15 p</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="ENSI-BOURGES">Ecole Nationale Supérieure d'Ingénieurs de Bourges</idno>
            <idno type="stamp" n="MSL">Modelisation Systemes Langages</idno>
            <idno type="stamp" n="MSL-THESE">Modelisation Systemes Langages</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Manipulating tree tuple languages by transforming logic programs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sébastien</forename>
                    <surname>Limet</surname>
                  </persName>
                  <email type="md5">da84cd503c08cdf5a4cc22db459df96a</email>
                  <email type="domain">univ-orleans.fr</email>
                  <idno type="idhal" notation="string">sebastien-limet</idno>
                  <idno type="idhal" notation="numeric">1393715</idno>
                  <idno type="halauthorid" notation="string">153733-1393715</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9392-2626</idno>
                  <affiliation ref="#struct-1625"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gernot</forename>
                    <surname>Salzer</surname>
                  </persName>
                  <email type="md5">27d153d0cc860b38c643fe98fd969e10</email>
                  <email type="domain">logic.at</email>
                  <idno type="idhal" notation="numeric">834320</idno>
                  <idno type="halauthorid" notation="string">153735-834320</idno>
                  <affiliation ref="#struct-16683"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">PRV CATa</idno>
                <idno type="halJournalId" status="INCOMING">34696</idno>
                <title level="j">Electronic Notes in Computer Science</title>
                <imprint>
                  <biblScope unit="volume">86</biblScope>
                  <biblScope unit="pp">15 pages</biblScope>
                  <date type="datePub">2003</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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 introduce inductive definitions over language expressions as a framework for specifying tree tuple languages. Inductive definitions and their sub-classes correspond naturally to classes of logic programs, and operations on tree tuple languages correspond to the transformation of logic programs. We present an algorithm based on unfolding and definition introduction that is able to deal with several classes of tuple languages in a uniform way. Termination proofs for clause classes translate directly to closure properties of tuple languages, leading to new decidability and computability results for the latter.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1625" status="OLD">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">1987-01-01</date>
          <date type="end">2013-12-31</date>
          <desc>
            <address>
              <addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA4022" active="#struct-300297" type="direct"/>
            <relation name="EA4022" active="#struct-300379" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-16683" status="INCOMING">
          <orgName>Institut für Computersprachen</orgName>
          <desc>
            <address>
              <country key="AT"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-19098" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300379" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-19098" status="VALID">
          <idno type="IdRef">030036496</idno>
          <idno type="ROR">https://ror.org/04d836q62</idno>
          <orgName>Vienna University of Technology = Technischen Universität Wien</orgName>
          <orgName type="acronym">TU Wien</orgName>
          <desc>
            <address>
              <addrLine>Karlsplatz 13, 1040 Vienna</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.tuwien.at/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>