|
JAIST Repository >
検索結果
検索結果表示: 91-100 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 30-Jan-1998 | On the finite model property of intuitionistic modal logics over MIPC | Aoto, Takahito |
| 8-Dec-1998 | Decidability for left-linear growing term rewriting systems | Nagaya, Takashi; Toyama, Yoshihito |
| 9-Feb-1998 | Nonpreemtive flowshop scheduling with machine dominance | Cepek, Ondrej; Okada, Masanori; Vlach, Milan |
| 8-Feb-1999 | Substructural logics with mingle | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
| 23-Mar-1999 | On proving AC-termination by argument filtering method | Kusakari, Keiichirou; Toyama, Yoshihito |
| 1-Dec-1999 | Triangular norms, generalized quasiconcavity and compromise solutions | Ramik, Jaroslav; Vlach, Milan |
| 28-Jan-1999 | The super-amalgamation property of the variety of ortholattices | Miyazaki, Yutaka |
| 28-May-1999 | A quantum algorithm for finding the κ-th smallest member | Mihara, Takashi; Sung, Shao Chin |
| 23-Mar-1999 | The hierarchy of dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 17-Nov-1999 | A note on provable well-founded relations | Ishii, Katsumasa |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
次へ
|
