AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Automated Mathematical Induction

JOURNAL OF LOGIC AND COMPUTATION, no. 5 (1995): 631.0-668.0

Cited: 99|Views9

Full Text

View via Publisher

Other Links

dblp.uni-trier.de academic.microsoft.com

Bibtex

Keywords

theorem provingmathematical inductionterm rewriting systems

Abstract

Proofs by induction are important in many computer science and artificial intelligence applications, in particular, in program verification and specification systems. We present a new method to prove (and disprove) automatically inductive properties. Given a set of axioms, a well-suited induction scheme is constructed automatically. We ca...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

Adel Bouhoula

[0]

Emmanuel Kounalis

[0]

Michaël Rusinowitch

[0]

Your rating :

No Ratings