Yuichi Komori
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
λρ-Calculus: A Natural Deduction for Classical Logic Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 65 - 70ROK: 2002CZYSTY TEKSTBIBTEX
-
On Komori Algebras Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 67 - 70ROK: 2001CZYSTY TEKSTBIBTEX
-
Logic based on combinators Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 100 - 104ROK: 1989CZYSTY TEKSTBIBTEX
