APPLICATIONS OF RELATIONAL CALCULUS TO COMPUTER MATHEMATICS - 九大コレクション

＜学術雑誌論文＞
APPLICATIONS OF RELATIONAL CALCULUS TO COMPUTER MATHEMATICS

作成者	作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Department of Mathematics, Kyushu University 九州大学数学科
本文言語	英語
出版者	Research Association of Statistical Sciences
出版者	統計科学研究会
発行日	1988-03
収録物名	Bulletin of informatics and cybernetics
巻	23
号	1/2
開始ページ	67
終了ページ	78
出版タイプ	Version of Record
アクセス権	open access
Crossref DOI	https://doi.org/10.5109/13395
関連DOI	Bulletin of informatics and cybernetics \|\| 23(1/2) \|\| p67-78
関連DOI	http://bic.math.kyushu-u.ac.jp/
関連URI	Bulletin of informatics and cybernetics \|\| 23(1/2) \|\| p67-78
関連URI	http://bic.math.kyushu-u.ac.jp/
関連情報	Bulletin of informatics and cybernetics \|\| 23(1/2) \|\| p67-78
関連情報	http://bic.math.kyushu-u.ac.jp/
概要	Relational calculus is applicable to some aspects of computer mathematics such as representing non-determinism of automata theory and theory of algorithms. In this note the author gives other proofs o...f the fundamental properties of languages received by finite automata and a fixed point semantics on simple recursive programs by using relational calculus.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p067	pdf	544 KB	451