Inductionless induction and rewriting induction

Hirotaka Koike, Yoshihito Toyama

研究成果: Article査読

8 被引用数 (Scopus)
本文言語English
ページ(範囲)1-12
ページ数12
ジャーナルComputer Software
17
6
出版ステータスPublished - 2000 12 1

ASJC Scopus subject areas

  • Software

引用スタイル