Marina K. Morokhovets

Publication Activity (10 Years)

Years Active: 1998-1999
Publications (10 Years): 0

Publications

Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets
Evidence Algorithm and Sequent Logical Inference Search. LPAR (1999)
Anatoli N. Chebotarev, Marina K. Morokhovets
Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194 (1-2) (1998)