George Koletsos
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Standard Normalization for Infinite Typed Terms Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 1 / s. 11 - 18ROK: 2008CZYSTY TEKSTBIBTEX
