Inductionless induction and rewriting induction

Hirotaka Koike, Yoshihito Toyama

研究成果: Article › 査読

ASJC Scopus subject areas

@article{4b6a52240dc94af9b3a4d3fa40e2da7b,

title = "Inductionless induction and rewriting induction",

author = "Hirotaka Koike and Yoshihito Toyama",

year = "2000",

month = dec,

day = "1",

language = "English",

volume = "17",

pages = "1--12",

journal = "Computer Software",

issn = "0289-6540",

publisher = "Japan Society for Software Science and Technology",

number = "6",

}

TY - JOUR

T1 - Inductionless induction and rewriting induction

AU - Koike, Hirotaka

AU - Toyama, Yoshihito

PY - 2000/12/1

Y1 - 2000/12/1

UR - http://www.scopus.com/inward/record.url?scp=30344445325&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=30344445325&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:30344445325

VL - 17

SP - 1

EP - 12

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 6

ER -