Inductionless induction and rewriting induction

Hirotaka Koike; Yoshihito Toyama

Inductionless induction and rewriting induction

Hirotaka Koike, Yoshihito Toyama

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-12
Number of pages	12
Journal	Computer Software
Volume	17
Issue number	6
Publication status	Published - 2000
Externally published	Yes

ASJC Scopus subject areas

Software

Cite this

@article{4b6a52240dc94af9b3a4d3fa40e2da7b,

title = "Inductionless induction and rewriting induction",

author = "Hirotaka Koike and Yoshihito Toyama",

note = "Funding Information: This study was partially supported by Universiti Kebangsaan Malaysia (UKM) -Yayasan Sime Darby (YSD) ? Sime Darby Research (SDR) Research Project under code KK-2014-013.",

year = "2000",

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

N1 - Funding Information: This study was partially supported by Universiti Kebangsaan Malaysia (UKM) -Yayasan Sime Darby (YSD) ? Sime Darby Research (SDR) Research Project under code KK-2014-013.

PY - 2000

Y1 - 2000

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

SN - 0289-6540

VL - 17

SP - 1

EP - 12

JO - Computer Software

JF - Computer Software

IS - 6

ER -

Inductionless induction and rewriting induction

ASJC Scopus subject areas

Other files and links

Cite this