Publications

Publications de

Articles dans une revue
Communications dans un congrès
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par