InforLorV4, Hal, Curation, bibRecord, 001113

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

Identifieur interne : 001113 ( Hal/Curation ); précédent : 001112; suivant : 001114

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

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

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

Links to Exploration step

Hal:hal-00760398

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>
</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>
<hal api="V3"><titleStmt><title xml:lang="en">Automatic Generation of Invariants for Circular Derivations in SUP(LA)</title>
<author role="aut"><persName><forename type="first">Arnaud</forename>
<surname>Fietzke</surname>
</persName>
<email></email>
<idno type="halauthor">791373</idno>
<orgName ref="#struct-364443"></orgName>
<affiliation ref="#struct-54489"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Evgeny</forename>
<surname>Kruglov</surname>
</persName>
<email></email>
<idno type="halauthor">791374</idno>
<orgName ref="#struct-364443"></orgName>
<affiliation ref="#struct-54489"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Christoph</forename>
<surname>Weidenbach</surname>
</persName>
<email></email>
<idno type="halauthor">129856</idno>
<orgName ref="#struct-364522"></orgName>
<affiliation ref="#struct-54489"></affiliation>
<affiliation ref="#struct-107895"></affiliation>
</author>
<editor role="depositor"><persName><forename>Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
</editor>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2012-12-03 19:01:40</date>
<date type="whenModified">2015-09-22 01:12:06</date>
<date type="whenReleased">2012-12-03 19:01:40</date>
<date type="whenProduced">2012-03</date>
</edition>
<respStmt><resp>contributor</resp>
<name key="104076"><persName><forename>Stephan</forename>
<surname>Merz</surname>
</persName>
<email>Stephan.Merz@loria.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">hal-00760398</idno>
<idno type="halUri">https://hal.inria.fr/hal-00760398</idno>
<idno type="halBibtex">fietzke:hal-00760398</idno>
<idno type="halRefHtml">Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. Springer, 7180, pp.197-211, 2012, LNCS; Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012)</idno>
<idno type="halRef">Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. Springer, 7180, pp.197-211, 2012, LNCS; Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012)</idno>
</publicationStmt>
<seriesStmt><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
<idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
<idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
<idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
<idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
</seriesStmt>
<notesStmt><note type="audience" n="2">International</note>
<note type="invited" n="0">No</note>
<note type="popular" n="0">No</note>
<note type="peer" n="1">Yes</note>
<note type="proceedings" n="1">Yes</note>
</notesStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Automatic Generation of Invariants for Circular Derivations in SUP(LA)</title>
<author role="aut"><persName><forename type="first">Arnaud</forename>
<surname>Fietzke</surname>
</persName>
<idno type="halAuthorId">791373</idno>
<orgName ref="#struct-364443"></orgName>
<affiliation ref="#struct-54489"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Evgeny</forename>
<surname>Kruglov</surname>
</persName>
<idno type="halAuthorId">791374</idno>
<orgName ref="#struct-364443"></orgName>
<affiliation ref="#struct-54489"></affiliation>
</author>
<author role="aut"><persName><forename type="first">Christoph</forename>
<surname>Weidenbach</surname>
</persName>
<idno type="halAuthorId">129856</idno>
<orgName ref="#struct-364522"></orgName>
<affiliation ref="#struct-54489"></affiliation>
<affiliation ref="#struct-107895"></affiliation>
</author>
</analytic>
<monogr><meeting><title>18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning</title>
<date type="start">2012-03</date>
<settlement>Mérida</settlement>
<country key="VE">Venezuela</country>
</meeting>
<editor>Nikolaj Bjørner and Andrei Voronkov</editor>
<imprint><publisher>Springer</publisher>
<biblScope unit="serie"></biblScope>
<biblScope unit="volume">7180</biblScope>
<biblScope unit="pp">197-211</biblScope>
<date type="datePub">2012</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="COMM">Conference papers</classCode>
</textClass>
</profileDesc>
</hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |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...)

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