木オートマトンに基づく項書き換えシステムの逆計算

Bibliographic Information

Other Title
  • キオートマトン ニ モトズク コウ カキカエ システム ノ ギャクケイサン
  • Inverse Computation for Term Rewriting Systems based on Tree Automata

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top