Automatic Generation of Invariants for Circular Derivations in SUP(LA) - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Domaines

Logique en informatique [cs.LO]

Stephan Merz  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 3 décembre 2012-19:01:40

Dernière modification le : lundi 11 septembre 2023-17:41:19

Fichier non déposé

Dates et versions

hal-00760398 , version 1 (03-12-2012)

Identifiants

  • HAL Id : hal-00760398 , version 1

Citer

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA). 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211. ⟨hal-00760398⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
102 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More