PittsburghV1, Main, Curation, bibRecord, 007699

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

Identifieur interne : 007699 ( Main/Curation ); précédent : 007698; suivant : 007700

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
to stream Hal, to step Curation: Pour aller vers cette notice dans l'étape Curation :000346
to stream Hal, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :000384
to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :007B75

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>
<idno type="wicri:Area/Hal/Checkpoint">000384</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000384</idno>
<idno type="wicri:Area/Main/Merge">007B75</idno>
<idno type="wicri:Area/Main/Curation">007699</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>
</record>

Pour manipuler ce document sous Unix (Dilib)

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

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

HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 007699 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    Main
   |é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