Yuichi Komori
3 artykuły w 1 czasopismach
-
λρ-Calculus: A Natural Deduction for Classical Logic Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 2 / s. 65 - 702002CZYSTY TEKST
Yuichi Komori, λρ-Calculus: A Natural Deduction for Classical Logic, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 65 - 70
BIBTEX@Article{ authors = " Yuichi Komori", title = "λρ-Calculus: A Natural Deduction for Classical Logic", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "65 - 70" }
-
On Komori Algebras Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 2 / s. 67 - 702001CZYSTY TEKST
Yuichi Komori, On Komori Algebras, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 2, s. 67 - 70
BIBTEX@Article{ authors = " Yuichi Komori", title = "On Komori Algebras", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 2", pages = "67 - 70" }
-
Logic based on combinators Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 100 - 1041989CZYSTY TEKST
Yuichi Komori, Logic based on combinators, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 3, s. 100 - 104
BIBTEX@Article{ authors = " Yuichi Komori", title = "Logic based on combinators", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 3", pages = "100 - 104" }