Publications in collaboration with researchers from University of Antwerp (1)

1994

  1. Strongly normalizing extensions

    Journal of Pure and Applied Algebra, Vol. 92, Núm. 2, pp. 161-172