JAIST Repository >

Items for Author "Yamada, Toshiyuki"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
26-Apr-2011 Natural Inductive Theorems for Higher-Order RewritingAoto, Takahito; Yamada, Toshiyuki; Chiba, Yuki

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology