| 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 <>
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
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)