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 - 182008CZYSTY TEKST
George Koletsos, Standard Normalization for Infinite Typed Terms, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 1, s. 11 - 18
BIBTEX@Article{ authors = " George Koletsos", title = "Standard Normalization for Infinite Typed Terms", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 1", pages = "11 - 18" }
