Kybernetika
International journal of Institute of Information Theory and Automation
Journal
home
contents of journal
upcoming papers
search
instructions for authors
editorial board
distribution
contact
partners
call for papers
Account
login
create account
forgotten password
Kybernetika 15 no. 2
, 122-135, 1979
Intermittent-assertion method as a structural induction
Karel Vosátka
Classification:
68Q60, 68B10
paper.pdf