kayQjMBLD9CVpQeW8247sfVi7HQ8YoxfAX5o8oblujq8kTzIidJJrWqE0nyn
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-10-24 Hits:

Institution:计算机科学与技术学院
Journal:CORR
First Author:朱大铭
All the Authors:朱大铭
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:An improved approximation algorithm for scaffold filling to maximize the common adjacencies

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