A calculational approach to mathematical induction
Autor: | Doornbos, H., Backhouse, R., Woude, J. Van Der |
---|---|
Zdroj: | Theoretical Computer Science; 1997, Vol. 179 Issue: 1 p103-136, 34p |
Databáze: | Supplemental Index |
Externí odkaz: |
Autor: | Doornbos, H., Backhouse, R., Woude, J. Van Der |
---|---|
Zdroj: | Theoretical Computer Science; 1997, Vol. 179 Issue: 1 p103-136, 34p |
Databáze: | Supplemental Index |
Externí odkaz: |