{{ $t("message.ADVERTISEMENT") }}
{{ $t("message.AD_EXPIRE_DATE") }}2024年03月
文献
J-GLOBAL ID:200902002070499635   整理番号:93A0005774

Equivalence-preserving first-order unfold/fold transformation systems.

著者 (1件):
資料名:
巻: 105  号:ページ: 57-84  発行年: 1992年10月26日 
JST資料番号: T0022A  ISSN: 0304-3975  CODEN: TCSDIQ  資料種別: 逐次刊行物 (A)
発行国: オランダ (NLD)  言語: 英語 (EN)

前のページに戻る