Author Details

Ramos, Raphael Soares, UnB

  • - Submissões gerais
    Uma Formalização Construtiva do Teorema da Modularidade da Normalização Forte
    Abstract


ISBN 978-85-64593-74-9