JAIST Repository >

Items for Author "Yamagata, Yoriyuki"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 2 items.

Date of IssueTitle Authors
27-Nov-2006 A sequent calculus for Limit Computable MathematicsBerardi, Stefano; Yamagata, Yoriyuki
12-Mar-2009 On AgdaKinoshita, Yoshiki; Yamagata, Yoriyuki

 


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