LoRea (Logic and Reasoning) - GIU 21/044
![Foto de LoRea (Logic and Reasoning) - GIU 21/044](/img/grupo.png)
![Foto de The Microsoft Research - University of Trento Centre for Computational and Systems Biology](/img/noimage_org.png)
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublicaciones en colaboración con investigadoras/es de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (1)
2015
-
An assertional proof of the stability and correctness of Natural Mergesort
ACM Transactions on Computational Logic, Vol. 17, Núm. 1