Home
Logic Unit
RCSV
- CafeOBJ
Core2Core
- Activities
- Memberships
Projects
- Constructive reverse mathematics and computational content of mathematical theorems
Events
Members

Associate Professor

Nao Hirokawa

See the personal homepage.

Group:	Logic Unit, Research Center for Software Verification

Map and Direction | Contact us
Copyright (c) 2010-2022 Japan Advanced Institute of Science and Technology. All Rights Reserved.
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan