dblp.uni-trier.dewww.uni-trier.de

Yukihide Takayama Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Susumu Hayashi [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)