|
|
|
|
|
|
|
Bounded Arithmetic with Bounded Finite Types
|
| |
| |
|
Description: |
Area(s):
|
|
Date: |
|
| Start Time: |
16:30 |
|
Speaker: |
Kerry Ojakian (CLC, IST)
|
|
Place: |
Sala 2.5
|
|
See more:
|
<Main>
|
|
| |
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
