Research report C-286 # ID: C-286 (April, 2019) On the Completeness and the Decidability of Strictly Monadic Second-Order Logic Auth… Read More
Research report C-285 # ID: C-285 (March, 2019) A Note on the Undecidability of Quantified Announcements Author Yuta Asami Email asa… Read More
Research Report C-284 ID: C-284 (August, 2016) Completeness of Second Order Propositional Intuitionistic Logics Author Ryo Kashima E… Read More
Research Report C-283 C-283 (February, 2016) Title Linguistic Regularities from Multiple Samples Author Aleksandr Drozd and Satoshi … Read More
Research Report C-282 ID: C-282 (March, 2015) Intuitionistic fragment of the lambda mu calculus Author Naosuke Matsuda Email matsuda… Read More
Research Report C-281 ID: C-281 (November, 2014) A PROOF THEORETIC STUDY ON INTUITIONISTIC TREE SEQUENT CALCULUS Author Naosuke Mats… Read More
Research Reports 2012-C ID: C-280 (July, 2012) The First Eigenvalue of $latex (c, d)$-Regular Graph Author Kotaro Nakagawa and Hiroki … Read More
Research Reports 2011-C ID: C-277 (December, 2011) Applying DominoJ to GoF Design Patterns Author YungYu Zhuang and Shigeru Chiba Emai… Read More
Research report C-117 to C-276 Notice! Some reports in this list may not have complete on-line information. In this case, or in general, if y… Read More
Research report C-275 to C-278 A Projection-Based Method for Interactive Visual Exploration of Complex Graphs in A Three-Dimensional Space ID… Read More