Igor Romanenko

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1992

3 Konstantin Vershinin, Igor Romanenko: One More Logic with Uncertainty and Resolution Principle for it. CADE 1992: 663-667

2 Igor Romanenko: Logican's Workbench. LPAR 1992: 499-500

1991

1 D. Rayko, Kirill Vershinin, Igor Romanenko: Algebraic Program Interpreter APREX2. STACS 1991: 547-548

	1992
3		Konstantin Vershinin, Igor Romanenko: One More Logic with Uncertainty and Resolution Principle for it. CADE 1992: 663-667
2		Igor Romanenko: Logican's Workbench. LPAR 1992: 499-500
	1991
1		D. Rayko, Kirill Vershinin, Igor Romanenko: Algebraic Program Interpreter APREX2. STACS 1991: 547-548

Coauthor Index

1 D. Rayko [1]

2 Kirill Vershinin [1]

3 Konstantin Vershinin [3]

Colors in the list of coauthors