|
Search the dblp DataBase
Ichiro Ogata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ichiro Ogata
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. [Citation Graph (0, 0)][DBLP] ASIAN, 1998, pp:61-78 [Conf]
- Ichiro Ogata
A CPS-Transform of Constructive Classical Logic. [Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:266-280 [Conf]
- Ichiro Ogata
A Proof Theoretical Account of Continuation Passing Style. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:490-505 [Conf]
- Gotaro Odawara, Masahiro Tomita, Ichiro Ogata
Diagrammatic function description of microprocessor and data-flow processor. [Citation Graph (0, 0)][DBLP] DAC, 1985, pp:731-734 [Conf]
- Ichiro Ogata
Constructive Classical Logic as CPS-Calculus. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2000, v:11, n:1, pp:89-112 [Journal]
Search in 0.001secs, Finished in 0.001secs
|