Gilda Ferreira
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
An Elementary Proof of Strong Normalization for Atomic F Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 1 / s. 1 - 16ROK: 2016CZYSTY TEKSTBIBTEX
