Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
Saved in:
| Title: | Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. |
|---|---|
| Authors: | Bui, Dang Duy1,2, bddang@fit.hcmus.edu.vn, Tran, Duong Dinh3, Ogata, Kazuhiro3, Riesco, Adrian4 |
| Source: | Multimedia Tools & Applications; Apr2024, Vol. 83 Issue 12, p36865-36898, 34p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 13807501 |
|---|---|
| DOI: | 10.1007/s11042-023-15780-5 |
