文献
J-GLOBAL ID:202002218143940583
整理番号:20A0078162
二次計算分析器SOLによる等式理論の決定可能性を証明する方法【JST・京大機械翻訳】
How to prove decidability of equational theories with second-order computation analyser SOL
著者 (1件):
HAMANA MAKOTO
(Gunma University, Kiryu, Gunma, Japan (e-mail: hamana@cs.gunma-u.ac.jp))
資料名:
Journal of Functional Programming
(Journal of Functional Programming)
巻:
29
ページ:
e20
発行年:
2019年
JST資料番号:
W1589A
ISSN:
0956-7968
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)