文献

J-GLOBAL ID：201002272081180051   整理番号：10A1309617

等価変換計算モデルに基づく非決定性プログラムの終了について

On the termination of non-deterministic programs based on the equivalent transformation computation model

著者 (4件)： TAKARAJIMA I ,  AKAMA K ,  SHIGETA Y ,  IMANI I
資料名： MSV’04 & AMCS’04, PROCEEDINGS
ページ： 391-395  発行年： 2004年 
JST資料番号： I20040704  ISBN： 1-932415-34-3  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 等価変換 ,  計算モデル ,  非決定性