Yukihide Takayama

Publication Activity (10 Years)

Years Active: 1987-1996
Publications (10 Years): 0

Publications

Yukihide Takayama
Extraction of Concurrent Processes from Higher Dimensional Automata. CAAP (1996)
Yukihide Takayama
Defining Concurrent Processes Constructively. Theor. Comput. Sci. 122 (1&2) (1994)
Susumu Hayashi, Yukihide Takayama
Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. Logic, Language and Computation (1994)
Yukihide Takayama
QPC_2: A Constructive Calculus with Parameterized Specifications. J. Symb. Comput. 15 (5/6) (1993)
Yukihide Takayama
Defining Concurrent Processes Constructively. FGCS (1992)
Yukihide Takayama
Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs. J. Symb. Comput. 12 (1) (1991)
Yukihide Takayama
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. FPCA (1989)
Yukihide Takayama
QPC: QJ-based Proof Compiler - Simple Examples and Analysis. ESOP (1988)
Yukihide Takayama
Writing Programs as QJ Proof and Compiling into Prolog Programs. SLP (1987)