Mn93XfH759sXkGYN0LmhT0j8LXQbX6bgTALEqbRmMulA5FSbPF9Amyd3sNsF
zhudaming

Personal Information

Gender:Male
Date of Employment:1990-07-01

VIEW MORE
Home > Scientific Research > Paper Publications

Implementing program extraction from CL1-proofs

Release Time:2019-04-14 Hits:

Institution:计算机科学与技术学院
Journal:CORR
First Author:朱大铭
Document Code:lw-149696
Translation or Not:No
Date of Publication:2013-12

Prev One:An exact algorithm for the zero exemplar breakpoint distance problem

Next One:The Algorithm for the Two-Sided Scaffold Filling Problem

Copyright All Rights Reserved Shandong University Address: No. 27 Shanda South Road, Jinan City, Shandong Province, China: 250100
Information desk: (86) - 0531-88395114
On Duty Telephone: (86) - 0531-88364731 Construction and Maintenance: Information Work Office of Shandong University

Click:  | The Last Update Time:..  | Login | SDU