Fangmin Song

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Grover walks on a line with absorbing boundaries
Quantum Information Processing
2016-10-27Paper
Quantum programming languages: a tentative study
Science in China. Series F
2008-11-10Paper
To -define the computable functions without the fixed point operators2007-07-02Paper
scientific article; zbMATH DE number 1895071 (Why is no real title available?)2003-07-27Paper
scientific article; zbMATH DE number 1895072 (Why is no real title available?)2003-07-27Paper
scientific article; zbMATH DE number 1819974 (Why is no real title available?)2002-01-01Paper
scientific article; zbMATH DE number 1895043 (Why is no real title available?)2002-01-01Paper
scientific article; zbMATH DE number 1895044 (Why is no real title available?)2002-01-01Paper
scientific article; zbMATH DE number 1533447 (Why is no real title available?)2001-05-28Paper
scientific article; zbMATH DE number 1424897 (Why is no real title available?)2000-03-26Paper
A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\)
Journal of Computer Science and Technology
1999-05-11Paper
scientific article; zbMATH DE number 1159511 (Why is no real title available?)1998-10-01Paper
The expansion postponement in pure type systems
Journal of Computer Science and Technology
1998-01-14Paper
scientific article; zbMATH DE number 713392 (Why is no real title available?)1995-02-19Paper
scientific article; zbMATH DE number 613261 (Why is no real title available?)1994-09-27Paper
scientific article; zbMATH DE number 25594 (Why is no real title available?)1992-06-27Paper
scientific article; zbMATH DE number 29724 (Why is no real title available?)1992-06-27Paper
scientific article; zbMATH DE number 4181309 (Why is no real title available?)1990-01-01Paper


Research outcomes over time


This page was built for person: Fangmin Song