決定性線形トップダウン木変換器における問合せ保存の決定可能性

書誌事項

タイトル別名
  • ケッテイセイ センケイ トップダウン モク ヘンカンキ ニ オケル トイアワセ ホゾン ノ ケッテイ カノウセイ
  • Decidability of Query Preservation for Deterministic Linear Top-Down Tree Transducers
  • ソフトウェアサイエンス
  • ソフトウェアサイエンス

この論文をさがす

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (7)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ