Marina K. Morokhovets

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets: Evidence Algorithm and Sequent Logical Inference Search. LPAR 1999: 44-61

1998

1 Anatoli N. Chebotarev, Marina K. Morokhovets: Resolution-Based Approach to Computability Analysis of Interacting Automata. Theor. Comput. Sci. 194(1-2): 183-205 (1998)

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

Coauthor Index