2021 年度事後評価書

階層的グラフの書き換え系での文脈等価性証明支援

研究課題

戦略的な研究開発の推進戦略的創造研究推進事業 ACT-X

PDF

体系的番号	JPMJAX190U
DOI	https://doi.org/10.52926/JPMJAX190U
研究代表者	室屋晃子京都大学, 数理解析研究所, 助教
研究期間 (年度)	2019 – 2021
研究領域	数理・情報のフロンティア