Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 12.

前
1
2
次

検索結果:

書誌情報	ファイル
Report on Centralizing Monoids on a Three-Element Set (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) Machida, Hajime; Rosenberg, Ivo G. (2013-08) 数理解析研究所講究録, 1846: 53-65
A Consideration on Functions Preserving Set Inclusion Relation (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) Takagi, Noboru (2013-08) 数理解析研究所講究録, 1846: 94-112
一様遅れ演算の完全性 (クローン理論と離散数学・計算機科学をめぐる代数と論理) 疋田, 輝雄 (2013-08) 数理解析研究所講究録, 1846: 14-18
$T_2$ (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) PINSKER, MICHAEL (2013-08) 数理解析研究所講究録, 1846: 87-93
Homomorphism on Triple-semilattice (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) Horiuchi, Kiyomitsu (2013-08) 数理解析研究所講究録, 1846: 19-26
Hyperalgebras and hyperclones-different approaches (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) PANTOVIC, Jovanka; VOJVODIC, Gradimir (2013-08) 数理解析研究所講究録, 1846: 80-86
Basic algebras (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) Chajda, Ivan; Kuhr, Jan (2013-08) 数理解析研究所講究録, 1846: 1-13
Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) Kondo, Michiro (2013-08) 数理解析研究所講究録, 1846: 46-52
Upper and Lower Bounds on the Number of Disjunctive Forms (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) TATSUMI, Hisayuki; MIYAKAWA, Masahiro; MUKAIDONO, Masao (2013-08) 数理解析研究所講究録, 1846: 113-128
Degree of Nondeterminism for Pushdown Automata (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) IBARAKI, Tatsuya; KUBOSAWA, Shumpei (2013-08) 数理解析研究所講究録, 1846: 27-34