PittsburghV1, Hal, Curation, bibRecord, 000345

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Identifieur interne : 000345 ( Hal/Curation ); précédent : 000344; suivant : 000346

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Auteurs : Jérôme Durand-Lose [France] ; Maurice Margenstern [France] ; Klaus Sutner [États-Unis]

Source :

RBID : Hal:hal-00806285
Url:

https://hal.archives-ouvertes.fr/hal-00806285

DOI: 10.1142/S012905411202008X

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000346

Links to Exploration step

Hal:hal-00806285

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems</title>
<author><name sortKey="Durand Lose, Jerome" sort="Durand Lose, Jerome" uniqKey="Durand Lose J" first="Jérôme" last="Durand-Lose">Jérôme Durand-Lose</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD">          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <desc>            <address>              <addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>            <relation name="EA4022" active="#struct-300297" type="direct"></relation>
            <relation active="#struct-300379" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID">          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000000121581666 </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"></country>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><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"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
<author><name sortKey="Margenstern, Maurice" sort="Margenstern, Maurice" uniqKey="Margenstern M" first="Maurice" last="Margenstern">Maurice Margenstern</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-402694" status="VALID">          <idno type="IdRef">109477189</idno>
          <idno type="RNSR">199914410X</idno>
          <idno type="IdUnivLorraine">[UL]RSG--</idno>
          <orgName>Laboratoire d'Informatique Théorique et Appliquée</orgName>
          <orgName type="acronym">LITA</orgName>
          <date type="start">2012-01-01</date>
          <desc>            <address>              <addrLine>Université de Lorraine, Ile du Saulcy, 57045 Metz Cedex 1</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lita.univ-lorraine.fr/</ref>
          </desc>
          <listRelation>            <relation name="EA3097" active="#struct-413289" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle name="EA3097" active="#struct-413289" type="direct"><org type="institution" xml:id="struct-413289" status="VALID">          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="IdRef">157040569</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>            <address>              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Sutner, Klaus" sort="Sutner, Klaus" uniqKey="Sutner K" first="Klaus" last="Sutner">Klaus Sutner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-218506" status="INCOMING">          <orgName>Department of Computer Science</orgName>
          <desc>            <address>              <country key="US"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00806285</idno>
<idno type="halId">hal-00806285</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00806285</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00806285</idno>
<idno type="doi">10.1142/S012905411202008X</idno>
<date when="2012">2012</date>
<idno type="wicri:Area/Hal/Corpus">000346</idno>
<idno type="wicri:Area/Hal/Curation">000346</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems</title>
<author><name sortKey="Durand Lose, Jerome" sort="Durand Lose, Jerome" uniqKey="Durand Lose J" first="Jérôme" last="Durand-Lose">Jérôme Durand-Lose</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-1625" status="OLD">          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <desc>            <address>              <addrLine>Batiment IIIA 6 Rue Léonard de Vinci - BP 6759 45067 ORLEANS CEDEX 2</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>            <relation name="EA4022" active="#struct-300297" type="direct"></relation>
            <relation active="#struct-300379" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle name="EA4022" active="#struct-300297" type="direct"><org type="institution" xml:id="struct-300297" status="VALID">          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000000121581666 </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"></country>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300379" type="direct"><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"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Orléans</settlement>
<region type="old region" nuts="2">Région Centre</region>
<region type="region" nuts="2">Centre-Val de Loire</region>
</placeName>
<orgName type="university">Université d'Orléans</orgName>
<orgName type="institution" wicri:auto="newGroup">Centre Val de Loire Université</orgName>
</affiliation>
</author>
<author><name sortKey="Margenstern, Maurice" sort="Margenstern, Maurice" uniqKey="Margenstern M" first="Maurice" last="Margenstern">Maurice Margenstern</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-402694" status="VALID">          <idno type="IdRef">109477189</idno>
          <idno type="RNSR">199914410X</idno>
          <idno type="IdUnivLorraine">[UL]RSG--</idno>
          <orgName>Laboratoire d'Informatique Théorique et Appliquée</orgName>
          <orgName type="acronym">LITA</orgName>
          <date type="start">2012-01-01</date>
          <desc>            <address>              <addrLine>Université de Lorraine, Ile du Saulcy, 57045 Metz Cedex 1</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lita.univ-lorraine.fr/</ref>
          </desc>
          <listRelation>            <relation name="EA3097" active="#struct-413289" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle name="EA3097" active="#struct-413289" type="direct"><org type="institution" xml:id="struct-413289" status="VALID">          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="IdRef">157040569</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>            <address>              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
<author><name sortKey="Sutner, Klaus" sort="Sutner, Klaus" uniqKey="Sutner K" first="Klaus" last="Sutner">Klaus Sutner</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-218506" status="INCOMING">          <orgName>Department of Computer Science</orgName>
          <desc>            <address>              <country key="US"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
</analytic>
<idno type="DOI">10.1142/S012905411202008X</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
</TEI>
<hal api="V3">          <titleStmt>            <title xml:lang="en">Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems</title>
            <author role="aut">              <persName>                <forename type="first">Jérôme</forename>
                <surname>Durand-Lose</surname>
              </persName>
              <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
              <email type="domain">univ-orleans.fr</email>
              <ptr type="url" target="http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose"></ptr>
              <idno type="idhal" notation="string">jerome-durandlose</idno>
              <idno type="idhal" notation="numeric">15640</idno>
              <idno type="halauthorid">679714</idno>
              <idno type="ORCID">http://orcid.org/0000-0001-6506-074X</idno>
              <affiliation ref="#struct-1625"></affiliation>
            </author>
            <author role="aut">              <persName>                <forename type="first">Maurice</forename>
                <surname>Margenstern</surname>
              </persName>
              <idno type="halauthorid">460667</idno>
              <affiliation ref="#struct-402694"></affiliation>
            </author>
            <author role="aut">              <persName>                <forename type="first">Klaus</forename>
                <surname>Sutner</surname>
              </persName>
              <idno type="halauthorid">832750</idno>
              <affiliation ref="#struct-218506"></affiliation>
            </author>
            <editor role="depositor">              <persName>                <forename>Jérôme</forename>
                <surname>Durand-Lose</surname>
              </persName>
              <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
              <email type="domain">univ-orleans.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>            <edition n="v1" type="current">              <date type="whenSubmitted">2013-03-29 17:04:29</date>
              <date type="whenModified">2017-10-23 21:02:03</date>
              <date type="whenReleased">2013-03-29 17:04:29</date>
              <date type="whenProduced">2012</date>
            </edition>
            <respStmt>              <resp>contributor</resp>
              <name key="110413">                <persName>                  <forename>Jérôme</forename>
                  <surname>Durand-Lose</surname>
                </persName>
                <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
                <email type="domain">univ-orleans.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>            <distributor>CCSD</distributor>
            <idno type="halId">hal-00806285</idno>
            <idno type="halUri">https://hal.archives-ouvertes.fr/hal-00806285</idno>
            <idno type="halBibtex">durandlose:hal-00806285</idno>
            <idno type="halRefHtml">World Scientific Publishing, pp.1419-1522, 2012, 〈10.1142/S012905411202008X〉</idno>
            <idno type="halRef">World Scientific Publishing, pp.1419-1522, 2012, 〈10.1142/S012905411202008X〉</idno>
          </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="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="MSL-THESE">Modelisation Systemes Langages</idno>
          </seriesStmt>
          <notesStmt>            <note type="audience" n="2">International</note>
          </notesStmt>
          <sourceDesc>            <biblStruct>              <analytic>                <title xml:lang="en">Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems</title>
                <author role="aut">                  <persName>                    <forename type="first">Jérôme</forename>
                    <surname>Durand-Lose</surname>
                  </persName>
                  <email type="md5">05b933bb8d877b64362a879ea11c3eba</email>
                  <email type="domain">univ-orleans.fr</email>
                  <ptr type="url" target="http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose"></ptr>
                  <idno type="idhal" notation="string">jerome-durandlose</idno>
                  <idno type="idhal" notation="numeric">15640</idno>
                  <idno type="halauthorid">679714</idno>
                  <idno type="ORCID">http://orcid.org/0000-0001-6506-074X</idno>
                  <affiliation ref="#struct-1625"></affiliation>
                </author>
                <author role="aut">                  <persName>                    <forename type="first">Maurice</forename>
                    <surname>Margenstern</surname>
                  </persName>
                  <idno type="halauthorid">460667</idno>
                  <affiliation ref="#struct-402694"></affiliation>
                </author>
                <author role="aut">                  <persName>                    <forename type="first">Klaus</forename>
                    <surname>Sutner</surname>
                  </persName>
                  <idno type="halauthorid">832750</idno>
                  <affiliation ref="#struct-218506"></affiliation>
                </author>
              </analytic>
              <monogr>                <imprint>                  <publisher>World Scientific Publishing</publisher>
                  <biblScope unit="pp">1419-1522</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1142/S012905411202008X</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>            <langUsage>              <language ident="en">English</language>
            </langUsage>
            <textClass>              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="DOUV">Directions of work or proceedings</classCode>
            </textClass>
          </profileDesc>
        </hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Hal/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000345 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 000345 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    Hal
   |étape=   Curation
   |type=    RBID
   |clé=     Hal:hal-00806285
   |texte=   Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Source :

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri