組合せ論の証明とプログラミング : パリティ検査の一般化 (組合せ構造とグラフ理論)
スポンサーリンク
概要
著者
関連論文
- いろいろな変種Quicksortアルゴリズムの比較について
- 構造的な抽象化機能を持つオブジェクト指向言語 : Ondineの概要
- 実時間システム仕様記述法について
- Pascalプログラムに対する呼出数最小のモジュール宣言方法について
- 実時間並行プロセス仕様記述の一考察
- 特性多項式によるプログラム複雑度の特徴づけ
- 形式文法によるプログラム複雑度の特徴づけ
- ソフトウェア生産過程の評価実験に関する考察
- ARMの報告 (実験整数論)
- 20. 再帰呼出しの索表計算法 (アルゴリズムの最近の動向)
- 構造化プログラムにおける非決定性構文と新しいループ構造
- データフローダイアグラムをシミュレートするシステムの作成
- 階層状体系をもつプログラミング言語の考察
- 組合せ論の証明とプログラミング : パリティ検査の一般化 (組合せ構造とグラフ理論)