Automatic Generation of Invariants for Circular Derivations in SUP(LA)
Identifieur interne : 001113 ( Hal/Curation ); précédent : 001112; suivant : 001114Automatic Generation of Invariants for Circular Derivations in SUP(LA)
Auteurs : Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne]Source :
Url:
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-00760398Le 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
Ou
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. | ![]() |