|
|
JAIST Repository >
検索結果
検索結果表示: 1-10 / 3900.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| Mar-2000 | 項書換え系の停止性，AC停止性，依存対に関する研究 | 草刈, 圭一朗; くさかり, けいいちろう |
| Mar-1997 | AC規則を含む項書換え系の停止性について | 中野, 賢司; なかの, けんじ |
| 26-Oct-1998 | On proving Ac-termination by AC-dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 21-Sep-2005 | A Parametric Model Checking Approach for Real-Time Systems Design | Sathawornwichit, Chaiwat |
| 21-Sep-2005 | ACTAS : Automated Verification Based on Equational Tree Automata | Ohsaki, Hitoshi |
| Mar-2018 | [課題研究報告書] An Investigation of the Steven Eker's Approach to Associative-Commutative Matching | Phan, Huu Tho; ふぁん, ふー とー |
| Jun-2014 | AC-KBO Revisited | Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart |
| Mar-2003 | 交流帯磁率測定による磁気相転移現象の研究 | 石﨑, 幸太郎; いしざき, こうたろう |
| Mar-2003 | 磁気相転移の非線形測定による磁気抵抗効果の研究 | 瀧, 真; たき, まこと |
| Mar-1999 | 高周波電気電導測定法の開発とその金属超微粒子への応用 | 瀧, 真; たき, まこと |
1
2
3
4
5
6
7
8
9
10
次へ
|
