Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

yoriyuki's profile

About me

Username:	yoriyuki
Name:	yoriyuki yamagata
Job title:	Research Scientist
Affiliation:	http://unit.aist.go.jp/cvs/
Web page:	http://staff.aist.go.jp/yoriyuki.yamagata/
Joined:	2007-11-10

Not specified

Proof theory (Constructive interpretation of classical logic, bounded arithmetic) Formal method (Integrating Agda with SPIN model checker)

2009-11-22

2009-11-16

2009-11-12

2009-11-11