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

Vladimir Orevkov

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

2003
1EESergei Soloviev, Vladimir Orevkov: On categorical equivalence of Gentzen-style derivations in IMLL. Theor. Comput. Sci. 1(303): 245-260 (2003)

Coauthor Index

1Sergei Soloviev [1]

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)