Conference Papers
Year : 2012
Stephan Merz : Connect in order to contact the contributor
https://inria.hal.science/hal-00760398
Submitted on : Monday, December 3, 2012-7:01:40 PM
Last modification on : Monday, September 11, 2023-5:41:19 PM
Dates and versions
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⟩
Collections
102
View
0
Download