InforLorV4, Main, Exploration, bibRecord, 001C22

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Identifieur interne : 001C22 ( Main/Exploration ); précédent : 001C21; suivant : 001C23

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Auteurs : Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne]

Source :

RBID : Hal:hal-00760398
Url:

https://hal.inria.fr/hal-00760398

Affiliations:

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

to stream Hal, to step Corpus: 001113
to stream Hal, to step Curation: 001113
to stream Hal, to step Checkpoint: 001845
to stream Main, to step Merge: 001C52
to stream Main, to step Curation: 001C22

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Automatic Generation of Invariants for Circular Derivations in SUP(LA)</title>
<author><name sortKey="Fietzke, Arnaud" sort="Fietzke, Arnaud" uniqKey="Fietzke A" first="Arnaud" last="Fietzke">Arnaud Fietzke</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
<author><name sortKey="Kruglov, Evgeny" sort="Kruglov, Evgeny" uniqKey="Kruglov E" first="Evgeny" last="Kruglov">Evgeny Kruglov</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
<author><name sortKey="Weidenbach, Christoph" sort="Weidenbach, Christoph" uniqKey="Weidenbach C" first="Christoph" last="Weidenbach">Christoph Weidenbach</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00760398</idno>
<idno type="halId">hal-00760398</idno>
<idno type="halUri">https://hal.inria.fr/hal-00760398</idno>
<idno type="url">https://hal.inria.fr/hal-00760398</idno>
<date when="2012-03">2012-03</date>
<idno type="wicri:Area/Hal/Corpus">001113</idno>
<idno type="wicri:Area/Hal/Curation">001113</idno>
<idno type="wicri:Area/Hal/Checkpoint">001845</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001845</idno>
<idno type="wicri:Area/Main/Merge">001C52</idno>
<idno type="wicri:Area/Main/Curation">001C22</idno>
<idno type="wicri:Area/Main/Exploration">001C22</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Automatic Generation of Invariants for Circular Derivations in SUP(LA)</title>
<author><name sortKey="Fietzke, Arnaud" sort="Fietzke, Arnaud" uniqKey="Fietzke A" first="Arnaud" last="Fietzke">Arnaud Fietzke</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
<author><name sortKey="Kruglov, Evgeny" sort="Kruglov, Evgeny" uniqKey="Kruglov E" first="Evgeny" last="Kruglov">Evgeny Kruglov</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
<author><name sortKey="Weidenbach, Christoph" sort="Weidenbach, Christoph" uniqKey="Weidenbach C" first="Christoph" last="Weidenbach">Christoph Weidenbach</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-54489" status="VALID"><orgName>Max Planck Institut für Informatik</orgName>
<orgName type="acronym">MPII</orgName>
<desc><address><addrLine>Max Planck Institut für Informatik Campus E-1 4 66123 Saarbrücken Germany</addrLine>
<country key="DE"></country>
</address>
<ref type="url">http://www.mpi-inf.mpg.de/</ref>
</desc>
<listRelation><relation active="#struct-300044" type="direct"></relation>
</listRelation>
<tutelles><tutelle active="#struct-300044" type="direct"><org type="institution" xml:id="struct-300044" status="VALID"><orgName>Max-Planck-Institut</orgName>
<desc><address><country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Allemagne</country>
<orgName type="university">Société Max-Planck</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
<orgName><li>Société Max-Planck</li>
</orgName>
</list>
<tree><country name="Allemagne"><noRegion><name sortKey="Fietzke, Arnaud" sort="Fietzke, Arnaud" uniqKey="Fietzke A" first="Arnaud" last="Fietzke">Arnaud Fietzke</name>
</noRegion>
<name sortKey="Kruglov, Evgeny" sort="Kruglov, Evgeny" uniqKey="Kruglov E" first="Evgeny" last="Kruglov">Evgeny Kruglov</name>
<name sortKey="Weidenbach, Christoph" sort="Weidenbach, Christoph" uniqKey="Weidenbach C" first="Christoph" last="Weidenbach">Christoph Weidenbach</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

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

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001C22 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     Hal:hal-00760398
   |texte=   Automatic Generation of Invariants for Circular Derivations in SUP(LA)
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	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 la recherche en informatique en Lorraine

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Source :

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

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

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