Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Vladimir Orevkov

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Conférences et workshops internationaux / International conference papers
  • Sergei Soloviev, Vladimir Orevkov. On Categorical Equivalence of Gentzen-style Derivations in IMLL(extended abstract). Dans : International Workshop onLogic and Complexity in Computer Science (LCCS'2001), Paris-12, Creteil, France, 03/09/01-05/09/01, Universite Paris-XII, p. 223-232, septembre 2001.
    BibTeX