|
JAIST Repository >
検索結果
検索結果表示: 81-90 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 24-Apr-1998 | Generating all arcs in the transitive closure of a directed hypergraph | Cepek, Ondrej |
| 4-Dec-1998 | Decidable/undecidable properties of conditional term rewriting systems | Aoto, Takahito; Nagaya, Takashi |
| Aug-1998 | Applications of Shimura's methods of canonical model to intermediate infinitary logics | Tanaka, Yoshihito |
| Jan-1998 | Locally finite varieties | Bezhanishvili, Guram |
| 5-Jun-1998 | Behavioural coherence in object-oriented algebraic specification | Diaconescu, Razvan |
| 9-May-1998 | Categorical foundations of modularisation for multi-paradigm | Diaconescu, Razvan; Stefaneas, Petros |
| 27-Aug-1998 | Strongly normalization from weakly normalization on some restricted λ-calculus | Motohama, Yoko |
| 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 |
前へ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
次へ
|
