Automatic Generation of Invariants for Circular Derivations in SUP(LA) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00760398 , version 1

Cite

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⟩
102 View
0 Download

Share

Gmail Facebook X LinkedIn More