Yukihide Takayama

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1996
c6		Yukihide Takayama: Extraction of Concurrent Processes from Higher Dimensional Automata. CAAP 1996: 72-86
	1994
j3		Yukihide Takayama: Defining Concurrent Processes Constructively. Theor. Comput. Sci. 122(1&2): 137-164 (1994)
c5		Susumu Hayashi, Yukihide Takayama: Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. Logic, Language and Computation 1994: 1-9
	1993
j2		Yukihide Takayama: QPC_2: A Constructive Calculus with Parameterized Specifications. J. Symb. Comput. 15(5/6): 641-672 (1993)
	1992
c4		Yukihide Takayama: Defining Concurrent Processes Constructively. FGCS 1992: 658-665
	1991
j1		Yukihide Takayama: Proof Theoretic Approach to the Extraction of Redundancy free Realizer Codes. J. Symb. Comput. 12(1): 29-70 (1991)
	1989
c3		Yukihide Takayama: Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs. FPCA 1989: 299-312
	1988
c2		Yukihide Takayama: QPC: QJ-based Proof Compiler - Simple Examples and Analysis. ESOP 1988: 49-63
	1987
c1		Yukihide Takayama: Writing Programs as QJ Proof and Compiling into Prolog Programs. SLP 1987: 278-287

Coauthor Index

Last update Mon May 20 18:32:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page