Try Microsoft Edge
A fast and secure browser that's designed for Windows 10
Bulletin of the European Association for Theoretical Computer Science Number 77
| June 2002
In a recent paper, the logician Yiannis Moschovakis argues that no state machine describes mergesort on its natural level of abstraction. We do just that. Our state machine is a recursive ASM.