|
|
Marta Franova and Yves Kodratoff (1991): Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems
| Title: |
Predicate Synthesis from Formal Specifications: Using Mathematical Induction for Finding the Preconditions of Theorems |
| Author(s): |
Marta Franova and Yves Kodratoff |
| Year: |
1991 |
| Booktitle: |
Nonmonotonic and Inductive Logic. Second Intern. Workshop, Reinhardsbrunn Castle. |
| Editor(s): |
G. Brewka and K. P. Jantke and P. H. Schmitt |
| Month: |
December |
| Number: |
659 |
| Pages: |
184-208 |
| Publisher: |
Springer |
| Address: |
Berlin [u.a.] |
Concepts
|
|
