|
Search the dblp DataBase
Yukihide Takayama:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Susumu Hayashi, Yukihide Takayama
Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:1-9 [Conf]
- Yukihide Takayama
Extraction of Concurrent Processes from Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP] CAAP, 1996, pp:72-86 [Conf]
- Yukihide Takayama
QPC: QJ-based Proof Compiler - Simple Examples and Analysis. [Citation Graph (0, 0)][DBLP] ESOP, 1988, pp:49-63 [Conf]
- Yukihide Takayama
Defining Concurrent Processes Constructively. [Citation Graph (0, 0)][DBLP] FGCS, 1992, pp:658-665 [Conf]
- Yukihide Takayama
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. [Citation Graph (0, 0)][DBLP] FPCA, 1989, pp:299-312 [Conf]
- Yukihide Takayama
Writing Programs as QJ Proof and Compiling into Prolog Programs. [Citation Graph (0, 0)][DBLP] SLP, 1987, pp:278-287 [Conf]
- Yukihide Takayama
Proof Theoretic Approach to the Extraction of Redundancy free Realizer Codes. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1991, v:12, n:1, pp:29-70 [Journal]
- Yukihide Takayama
QPC_2: A Constructive Calculus with Parameterized Specifications. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1993, v:15, n:5/6, pp:641-672 [Journal]
- Yukihide Takayama
Defining Concurrent Processes Constructively. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:122, n:1&2, pp:137-164 [Journal]
Search in 0.003secs, Finished in 0.003secs
|