Ahmad Jamil | Chemistry Department, University College
スポンサーリンク
概要
論文 | ランダム
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 時間制約付LOTOSで記述された分散システムの全体仕様から各ノードの動作仕様の自動生成
- LOTOSによるソフトウェアプロセスの記述とその実行
- Polarization Mixing Error Reduction in a Two-Beam Interferometer
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明