Yukihide Takayama

发表

Defining Concurrent Processes Constructively

Yukihide Takayama, Yukihide Takayama, 1994, Theor. Comput. Sci..

Towards Cycle Filling as Parallelization(Concurrency Theory and Applications '96)

Yukihide Takayama, 1997 .

QPC: QJ-based Proof Compiler - Simple Examples and Analysis

Yukihide Takayama, Yukihide Takayama, 1988, ESOP.

Writing Programs as QJ Proof and Compiling into Prolog Programs

Yukihide Takayama, 1987, SLP.

Extended projection—new method to extract efficient programs from constructive proofs

Yukihide Takayama, Yukihide Takayama, 1989, FPCA.

Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction

Susumu Hayashi, Yukihide Takayama, S. Hayashi, 1994, Logic, Language and Computation.

SHUTEN : A Constructive Programming System

Yukihide Takayama, 1992 .

Parallelization of Concurrent Processes in Higher Dimensional Automata(Theory of Rewriting Systems and Its Applications)

Yukihide Takayama, 1995 .

Extraction of Concurrent Processes from Higher Dimensional Automata

Yukihide Takayama, Yukihide Takayama, 1996, CAAP.

QPC_2: A Constructive Calculus with Parameterized Specifications

Yukihide Takayama, Yukihide Takayama, 1993, J. Symb. Comput..

Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs

Yukihide Takayama, Yukihide Takayama, 1991, J. Symb. Comput..

Resolutions by mapping cones

Yukihide Takayama, J. Herzog, Yukihide Takayama, 2001 .