Asset Details

  • Description:
  • Computing a candidate invariant from an inference tree: example
  • License:
  • Rights Managed
  • Rights Holder:
  • Springer Nature
  • License Rights Holder:
  • © Springer Nature B.V. 2019
  • Asset Type:
  • Image
  • Asset Subtype:
  • Text
  • Image Orientation:
  • Landscape
  • Image Dimensions:
  • 1181 x 337
  • Image File Size:
  • 35.9 KB
  • Creator:
  • M. Echenim, N. Peltier
  • Credit:
  • Echenim, M., & Peltier, N. (2019). Combining Induction and Saturation-Based Theorem Proving. Journal of Automated Reasoning, 64(2), 253-294. https://doi.org/10.1007/s10817-019-09519-x.
  • Collection:
  • Keywords:
  • Inductive theorem proving, Saturation-based theorem proving, Inductive lemma generation, 03B35, 68T15
  • Restrictions:
  • Property Release:
  • No
  • Model Release:
  • No
  • Purchasable:
  • Yes
  • Sensitive Materials:
  • No
  • Article Authors:
  • M. Echenim, N. Peltier
  • Article Copyright Year:
  • 2019
  • Publication Volume:
  • 64
  • Publication Issue:
  • 2
  • Publication Date:
  • 03/28/2019
  • DOI:
  • https://doi.org/10.1007/s10817-019-09519-x

Click on image to enlarge

Would you like to download this asset? Tell us more and we can generate a quote, license and downloadable file.

Add to Cart