複素構造を持つ論理プログラミング

線形ロジックの枠組みでの論理プログラミングにおける新しい手法とその拡張に焦点を当てる。