This article is cited in 3 papers

Some open questions in the theory of program schemes and dynamic logics

A. J. Kfoury, A. P. Stolboushkin, P. Urzyczyn


UDC: 519.49

MSC: 65T50, 68N15, 68N17

Received: 19.10.1987

 English version: Russian Mathematical Surveys, 1989, 44:1, 43–68

Bibliographic databases:

• 
• 
• 
•