The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yukihide Takayama: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Yukihide Takayama
    Extraction of Concurrent Processes from Higher Dimensional Automata. [Citation Graph (0, 0)][DBLP]
    CAAP, 1996, pp:72-86 [Conf]
  3. Yukihide Takayama
    QPC: QJ-based Proof Compiler - Simple Examples and Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:49-63 [Conf]
  4. Yukihide Takayama
    Defining Concurrent Processes Constructively. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:658-665 [Conf]
  5. Yukihide Takayama
    Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:299-312 [Conf]
  6. Yukihide Takayama
    Writing Programs as QJ Proof and Compiling into Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:278-287 [Conf]
  7. 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]
  8. 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]
  9. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002