Skip to Main content Skip to Navigation
Other publications

CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS

Abstract : The paper presents an algorithm for choosing an induction variable for "lazy' induction proofs.
Document type :
Other publications
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-01131271
Contributor : Marta Franova <>
Submitted on : Thursday, March 26, 2015 - 10:11:34 AM
Last modification on : Friday, April 30, 2021 - 9:54:42 AM
Long-term archiving on: : Monday, April 17, 2017 - 11:42:56 AM

File

RR1579.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01131271, version 1

Citation

Marta Franova, Yves Kodratoff. CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS. 2015, pp.15. ⟨hal-01131271⟩

Share

Metrics

Record views

166

Files downloads

244