|
JAIST Repository >
検索結果
検索結果表示: 81-90 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
| 20-Oct-1998 | Single machine scheduling under fuzziness | Vlach, Milan |
| 26-Oct-1998 | On proving Ac-termination by AC-dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 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 |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
次へ
|
