計算論基礎特論A

Last modified: Apr.14.2023 07:22.

情報

• 本講義の情報はTACTの講義サイトで提供します．

教科書

Franz Baader, Term Rewriting and All That, Cambridge University Press, ISBN 0-521-77920-0, doi https://doi.org/10.1017/CBO9781139172752

関連リンク

• 教科書のサポートページ