Publications

Publications of

Journal articles
Conference papers
  • Sergei Soloviev, Vladimir Orevkov

    On Categorical Equivalence of Gentzen-style Derivations in IMLL(extended abstract)

    In : International Workshop onLogic and Complexity in Computer Science (LCCS’2001), Paris-12, Creteil, France, 03/09/01-05/09/01, Universite Paris-XII, pp. 223-232, September 2001.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by