Hizkuntza eta Sistema Informatikoak
Saila
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaThe Microsoft Research - University of Trento Centre for Computational and Systems Biology-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2015
-
An assertional proof of the stability and correctness of Natural Mergesort
ACM Transactions on Computational Logic, Vol. 17, Núm. 1