Communication Dans Un Congrès
Année : 2012
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
Dates et versions
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⟩
Collections
106
Consultations
0
Téléchargements