Vladimir Orevkov

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

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