Authors: MUSIKAEV IK TAITSLIN MA

Citation: Ik. Musikaev et Ma. Taitslin, LIMITATIONS OF THE PROGRAM MEMORY AND THE EXPRESSIVE POWER OF DYNAMICLOGICS, Information and computation, 103(2), 1993, pp. 195-203