Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.
| Autor: | Bove, Ana, Dybjer, Peter, Sicard-Ramírez, Andrés |
|---|---|
| Zdroj: | Foundations of Software Science & Computational Structures (9783642287282); 2012, p104-118, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|