TOP Page >  Search Result  >  Profile > Display All

Lectures and Presentations
Results per page:
Chronological sort:

 

 

Hajime Ishihara Professor
School of Information Science(Department of Information Science・Theoretical Information Science)

Results 21-27 of about 27

  • 21. Constructive reverse mathematics: compactness properties,Hajime Ishihara,Symposium on Constructive Mathematics,Uppsala, Sweden,August 30-31, 2004
  • 22. A construction of quotient spaces in constructive set theory,Hajime Ishihara,Workshop on Constructive Logic and Mathematics,Benediktbeuern, Germany,November 15-19, 2004
  • 23. Constructive reverse mathematics,Hajime Ishihara,From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics,San Servolo, Venice, Italy,May 12-16, 2003
  • 24. Computational complexity of the intermediate value theorem,Hajime Ishihara,5th Congress of Romanian Mathematicians,Pitesti, Romania,June 22-28, 2003
  • 25. Sequential continuity in constructive mathematics,Hajime Ishihara,The Third International Conferece on Combinatorics, Computability and Logic (DMTCS'01),Constanta, Romania,July 1-6, 2001
  • 26. A note on the Goedel-Gentzen translation,Hajime Ishihara,Reuniting the Antipodes - Constructive and Nonstandard views of the Continuum,San Servolo, Venice, Italy,May 17-22, 1999
  • 27. Feasibly constructie analysis,Hajime Ishihara,Constructivism, Complexity and Fuzziness '99,Galati, Romania,August 23-29, 1999

≪ Back ]  1  2