Inductionless induction and rewriting induction

Hirotaka Koike, Yoshihito Toyama

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-12
Number of pages12
JournalComputer Software
Volume17
Issue number6
Publication statusPublished - 2000 Dec 1

ASJC Scopus subject areas

  • Software

Cite this