検索結果 1 件
デジタル記事
インターネットで読める全国の図書館
- 要約等To implement Ginzburg's equality check procedure for regular expressions by using personal computers, we propose a new and more efficient axiom system consisting of an axiom and inference rules concerning a new relational symbol $ subset $ in addition to a part of Salomaa's axiom system.
- 標準番号（その他）https://hdl.handle.net/2324/13383
- 件名Ocean Engineering
検索結果は以上です。