Authors: ARCHANGELSKY DA DEKHTYAR MI TAITSLIN MA

Citation: Da. Archangelsky et al., LINEAR LOGIC FOR NETS WITH BOUNDED RESOURCES, Annals of pure and applied Logic, 78(1-3), 1996, pp. 3-28

Authors: NERODE A TAITSLIN MA

Citation: A. Nerode et Ma. Taitslin, A SELECTION OF PAPERS PRESENTED AT THE SYMPOSIUM LOGIC AT TVER-92 - PREFACE, Annals of pure and applied Logic, 67(1-3), 1994, pp. 1-1

Authors: ARCHANGELSKY DA TAITSLIN MA

Citation: Da. Archangelsky et Ma. Taitslin, LINEAR LOGIC WITH FIXED RESOURCES, Annals of pure and applied Logic, 67(1-3), 1994, pp. 3-28

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