Logicality of conditional term rewrite systems - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA Logicality of conditional term rewrite systems

著者: 山田俊行
巻号頁・発行日: 1999

Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no. 2125, 1999.3.25

2012-11-07 08:30:30
1 + 0 Twitter

http://hdl.handle.net/2241/2661

言及状況

Twitter (1 users, 1 posts, 0 favorites)

収集済み URL リスト

https://tsukuba.repo.nii.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=12571&item_no=1&page_id=13&block_id=83 (1)