Hajime Ishihara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2007
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CiE | Unique Existence and Computability in Constructive Reverse Mathematics. | Hajime Ishihara |
| 2002 | CSL | Compactness and Continuity, Constructively Revisited. | Douglas S. Bridges, Hajime Ishihara, Peter Schuster |
| 2002 | LICS | Some Results on Automatic Structures. | Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |
| 2002 | WG | Complexity of Some Infinite Games Played on Finite Graphs. | Hajime Ishihara, Bakhadyr Khoussainov |