About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Vosátka, Karel

Vosátka, Karel: Intermittent-assertion method as a structural induction. (English). Kybernetika, vol. 15 (1979), issue 2, pp. (122)-135

Browse
- Collections
- Titles
- Authors
- MSC

Partner of