dblp.uni-trier.dewww.uni-trier.de

Igor Romanenko Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1D. Rayko [1]
2Kirill Vershinin [1]
3Konstantin Vershinin [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)