E.Mendelson著, "Introduction to Mathematical Logic, Second Edition", Van Nostrand, A5判, 328+vii, US$15.95, 1979

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1980-02-15

著者

• 守屋 悦朗

  東京女子大学

関連論文

• プログラム図式を用いたプログラム開発教育環境
• 非決定性同時計算量について(計算機科学の基礎理論とその応用)
• A Generalization of Tree Automata and Traversal of Trees(Fundamental Studies on Computational Complexity)
• On Tree Automata and Partitioning Automata
• Some Restrictinons on CFGs With Memory(Complexity Theory and Related Topics)
• ある拡張文法/オートマトンに関するコメント(計算アルゴリズムと計算量の基礎理論)
• CFGにおける並列性 : 多ヘッドCFG,部分同期CFG,および交代CFG(計算アルゴリズムの基礎理論)
• E.Mendelson著, "Introduction to Mathematical Logic, Second Edition", Van Nostrand, A5判, 328+vii, US$15.95, 1979

スポンサーリンク