 | 1996 |
|---|
| 9 |       | Yukihide 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 |
|---|
| 3 | | Yukihide Takayama:
Extended Projection - New Method to Extract Efficient Programs from Constructive Proofs.
FPCA 1989: 299-312 |
| 1988 |
|---|
| 2 | | Yukihide 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 |
