| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [1 references]
https://hal.inria.fr/hal-01131271
Contributor : Marta Franova Connect in order to contact the contributor
Submitted on : Thursday, March 26, 2015 - 10:11:34 AM
Last modification on : Saturday, June 25, 2022 - 10:15:46 PM
Long-term archiving on: : Monday, April 17, 2017 - 11:42:56 AM
Contributor : Marta Franova Connect in order to contact the contributor
Submitted on : Thursday, March 26, 2015 - 10:11:34 AM
Last modification on : Saturday, June 25, 2022 - 10:15:46 PM
Long-term archiving on: : Monday, April 17, 2017 - 11:42:56 AM
File
RR1579.pdf
Files produced by the author(s)