MELLの証明に要する計算の複雑さ - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA MELLの証明に要する計算の複雑さ

著者: 三浦泰介山口文彦中西正和
雑誌: 全国大会講演論文集
巻号頁・発行日: vol.第56回, no.ソフトウェア科学・工学, pp.418-419, 1998-03-17

2016-10-03 19:51:02
1 + 1 Twitter

http://id.nii.ac.jp/1001/00133469/

言及状況

Twitter (1 users, 1 posts, 1 favorites)

『MELLの証明に要する計算の複雑さ』 https://t.co/7tvE22ZED5 “MELLはペトリネットとの関係が深く，命題のレベルでペトリネットの可達問題を埋め込むことが可能である”　へぇ〜．

1 @ksuenaga

収集済み URL リスト

https://ipsj.ixsq.nii.ac.jp/ej/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=133284&item_no=1&page_id=13&block_id=8 (1)