Garrett J.R. | King's College Hospital

スポンサーリンク

概要

• 同名の論文著者
• King's College Hospitalの論文著者

論文 | ランダム

• 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
• 複数の層序区分から生成される層序区分の数学構造 : ブール代数と分配束
• 中心をもつクリーネ代数とドモルガン代数
• Fuzzy論理関数及び正則3値論理関数の数の限界式の改良
• 分配束上のASLで,直列化関係式がその表示を与えないものの例

もっと見る

スポンサーリンク