( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof Transformation by CERES.

, , , , и . MKM, том 4108 из Lecture Notes in Computer Science, стр. 82-93. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Clemens Richter

Clemens Richter

Clemens Richter

Clemens Richter

Clemens Scheer

Biosphere-atmosphere-exchange of C and N trace gases and microbial N turnover processes in irrigated agricultural systems of the Aral Sea Basin, Uzbekistan. Uni Bonn, (2008)
 

Другие публикации лиц с тем же именем

Cut-Elimination: Experiments with CERES., , , , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 481-495. Springer, (2004)Proof Transformation by CERES., , , , и . MKM, том 4108 из Lecture Notes in Computer Science, стр. 82-93. Springer, (2006)CERES: An analysis of Fürstenberg's proof of the infinity of primes., , , , и . Theor. Comput. Sci., 403 (2-3): 160-175 (2008)