<学術雑誌論文>
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
Crossref DOI
関連情報
概要 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 concer...ning a new relational symbol $ subset $ in addition to a part of Salomaa's axiom system.続きを見る

本文ファイル

p165 pdf 278 KB 246  

詳細

PISSN
NCID
レコードID
査読有無
タイプ
登録日 2009.04.22
更新日 2022.01.24

この資料を見た人はこんな資料も見ています