Search results 20
Paper図書
National Diet Library
- Subject Heading等価論理 / ハードウェアの等価検証 / 無評価関数 / 項書き換え
Paper図書
National Diet Library
- Subject Headingシェイクスピア / 西洋古典 / 書き換え / マーロウ
Paper図書
National Diet Library
- Subject HeadingFPGA / ハードウェアコンパイラ / アクセラレータ / 書き換え
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 高階書き換えシステム 合流性 停止性 リダクシヨン
Paper図書
National Diet Library
- Subject Headingスピントロニクス / 不揮発メモリ / 書き換え可能論理動作回路 / 磁性ランダムアクセスメモリ
Paper図書
National Diet Library
- Subject Heading高階ナローイング / 不完全正則表現型 / XML文書の統合 / 文脈 / パターン照合 / 項書き換え系 / XNL文書の変換
Paper図書
National Diet Library
- Subject Heading項書き換えシステム / Church-Rosser (合流性) / 非...
Paper図書
National Diet Library
- Subject Heading言い換え / 書き換え / テキストの規格化 / 言い換え辞書の自動生成 / 制限...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム Church-Rosser (合流性) 非線形TR...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 左線形TRS 合流性 Church-Rosser ...
Paper図書
National Diet Library
- Subject Headingユーザインタフエース 文書編集 制約 ハイパーテキスト 定理証明 項書き換え タクテイク
Paper図書
National Diet Library
- Subject Heading抽象化学反応系 膜計算モデル マルチセツト書き換え系 分子コンピユーテイング P Systems 形式言語理論...
Paper図書
National Diet Library
- Subject Heading項書き換えシステム 合流性 E重なり 非ω重なり 単純右線形TRS 深...
Paper図書
National Diet Library
- Subject Headingマルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 π一計算 計...
Digital図書電子書籍・電子雑誌
Other Libraries in Japan
- Subject Heading石井妙子 安倍昭恵 総理 国会 森友 佐川 書き換え 証人喚問 公人
Paper図書
National Diet Library
- Subject Heading並列計算 並行プログラム 形式的仕様記述 CCS モニタ 項書き換え系の意味論 抽象データ型
Digital文書・図像類
Other Libraries in Japan
- Subject Heading項書き換え 計算モデル 計算量
- Note (General)...プログラムの計算モデルである項書き換え系に対して、解析を自動化する強力な理論を構築した。さらにそれ...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingプログラム変換 単純型付項書き換えシステム パターンマッチング
- Note (General)項書き換えに基づくパターンによるプログラ......的計算モデルとして,単純型付項書き換えシステム(Simply Typ......10509756 研究分野:項書き換え identifier:https://dspace.jai...
Reached to the end of result.