Marina K. Morokhovets

According to our database, Marina K. Morokhovets authored at least 2 papers between 1998 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Evidence Algorithm and Sequent Logical Inference Search.

Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

Resolution-Based Approach to Computability Analysis of Interacting Automata.

Anatoli N. Chebotarev, Marina K. Morokhovets

Theor. Comput. Sci., 1998